Claudia Schmittgen: Spezifikation der Architektur und Realisierung
eines Reduktionssystems mit konsequenter Unterstützung
strukturierter Datenobjekte und n-stelliger definierter
Funktionen (1986)
published as GMD-Bericht Nr. 169, Oldenbourg Verlag (1987)
(in German)
Ralf Martin Zimmer: Zur Pragmatik eines operationalisierten
Lambda-Kalküls als Basis für interaktive Reduktionssysteme
(1990)
published as GMD-Bericht Nr. 192, Oldenbourg Verlag (1991)
(in German)
Jörg Schepers: GRAPH - Eine auf Petri-Netzen basierende
Entwicklungsumgebung für verteilte Systeme (1990)
published as Bericht Nr. 9010, Institut für Informatik und
Praktische Mathematik, CAU Kiel (1990) (in German)
Dietmar Gärtner: Pi-RED*: ein interaktives codeausführendes
Reduktionssystem zur vollständigen Realisierung eines
angewandten Lambda-Kalküls (1991)
published as Bericht Nr. 9201, Institut für Informatik und
Praktische Mathematik, CAU Kiel (1992) (in German)
Harald Blödorn: Organisatorische Massnahmen zur effizienten
Unterstützung höherer Sprachkonstrukte in einem interaktiven
Reduktionssystem (1992)
published as Bericht Nr. 9213, Institut für Informatik und
Praktische Mathematik, CAU Kiel (1992) (in German)
Claus Aßmann: FAST - eine Prozessor Architektur mit einem neuartigen
Stacksystem (1992)
published as Bericht Nr. 9209, Institut für Informatik und
Praktische Mathematik, CAU Kiel (1992) (in German)
Sven-Bodo Scholz:
Single Assignment C - Entwurf und Implementierung
einer funktionalen C-Variante mit spezieller Unterstützung
shape-invarianter Array-Operationen (1996)
published by Shaker Verlag Aachen (1997) ISBN 3-8265-3138-8
(in German)
Carsten Rathsack: Zur Uebersetzung von Termen eines angewandten
Lambda-Kalküls in Zielmaschinencode unter besonderer
Berücksichtigung der Rückübersetzbarkeit ausgezeichneter
Zwischenzustände der Codeausführung (1996)
published by Shaker Verlag Aachen (1998) ISBN 3-8265-3588-X
(in German)
Claus Reinke:
Functions, Frames, and Interactions - completing
a Lambda-calculus-based purely functional language with respect to
programming-in-the-large and interactions with runtime environments
(1997)
published as Bericht Nr. 9804, Institut für Informatik und
Praktische Mathematik, CAU Kiel (1998)
Raimund Schröder: Experiments on Speculative Evaluation in
a Functional Programming Language (2000)
published as private report (2000), available as
hard copy on request
Clemens Grelck:
Implicit Shared Memory Multiprocessor
Support for the Functional Programming Language SAC - Single
Assignment C (2001)
published by Logos Verlag (2001) ISBN 3-89722-719-3
