Articles reported during
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
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
latest update 4 August 1997.