CAISOR Research Agenda Archive

Publications during year 1999

To access the primary index page for a particular article, often containing links to its full text, please click the serial number preceding the line.

1999-001 Erik Sandewall: An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus. Higher-Order and Symbolic Computation, vol. 12 (1999), pages 105-113.