Hat mitgewirkt an:
-
Projection-based strictness analysis : theoretical and practical aspects
-
The categorical abstract machine : basics and enhancements
-
Implementation and application of functional languages : 24th international symposium ; revised selected papers
-
Deduktive Datenbanken : eine Einführung aus der Sicht der logischen Programmierung