FFI

Functions, Frames, and Interactions

Claus Reinke[T.~Johnsson (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions (advocating first class modules)

Claus Reinke[Tiziana Margaria (ed)] (inproceedings, 1995)

Functions, Frames, and Interactions -- completing a -calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments

Claus Reinke (phdthesis, 1997)

Ein/Ausgabe-Operationen in KiR

Stephan Timm (mastersthesis, 1996)