1
Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung /
Book
2
Granada workshop on the integration of functional and logic programming : Granada, 24.09.90-28.09.90.
Book
3
Lazy narrowing in a graph machine.
Book
4
Primitive recursive programs for defining tree functions.
Book