Sciweavers

POPL
1997
ACM
15 years 8 months ago
Call by Need Computations to Root-Stable Form
The following theorem of Huet and L
Aart Middeldorp
161
Voted
POPL
1997
ACM
15 years 8 months ago
A Unified Computation Model for Functional and Logic Programming
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
Michael Hanus
IEAAIE
1995
Springer
15 years 8 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
POPL
1997
ACM
15 years 8 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
135
Voted
IEAAIE
1995
Springer
15 years 8 months ago
Polygonal Inductive Generalisation System
Classification learning has been dominated by the induction of axisorthogonal decision surfaces. While induction of alternate forms of decision surface has received some attentio...
Douglas A. Newlands, Geoffrey I. Webb