Publication
Publication
Simple Translation of Goal-Directed Evaluation
Publication
Staticallly Checkable Pattern Abstractions
Publication
On Simultaneous Rigid E-Unification
Publication
Henk: a typed intermediate language
Publication
May 1997 Draft of the ASM Guide
Publication