Programming Systems Lab: Publications by Leif Kornstaedt

Saarland University Computer Science

Select author:


Status Report: HOT Pickles, and how to serve them   (pdf)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM SIGPLAN Workshop on ML


Design and Implementation of a Programmable Middleware   (pdf)
Leif Kornstaedt
PhD Thesis, Universitt des Saarlandes

Generic Pickling and Minimization   (pdf)
Guido Tack, Leif Kornstaedt, Gert Smolka
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)


Open Programming Services for Virtual Machines: The Design of Mozart and SEAM   (pdf)
Thorsten Brunklaus, Leif Kornstaedt


A Virtual Machine for Multi-Language Execution   (pdf)
Thorsten Brunklaus, Leif Kornstaedt


Alice in the Land of Oz -- An Interoperability-based Implementation of a Functional Language on Top of a Relational Language   (pdf)
Leif Kornstaedt
Proceedings of the First Workshop on Multi-language Infrastructure and Interoperability (BABEL'01), Electronic Notes in Computer Science


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


Definition und Implementierung eines Front-End-Generators für Oz   (pdf)
Leif Kornstaedt
Master's Thesis

Login to edit

Legal notice, Privacy policy