Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1999
as published or accepted for publication

Subset: articles originating in EMTEK during 1999

The IDA publication register contains information about articles written by researchers at IDA. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see last year's list.

051
Erik Sandewall.
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Higher-Order and Symbolic Computation, Volume 12, Number 1, 1999, pages 105-113.

This page is maintained by [EMTEK]; latest update 4 August 1997.