Leif Kornstaedt

publications relevant to SFB 378

2001

Alice in the Land of Oz -- An Interoperability-based Implementation of a Functional Language on Top of a Relational Language
(Leif Kornstaedt)

1998

A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
(Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka)

1996

Definition und Implementierung eines Front-End-Generators für Oz
(Leif Kornstaedt)