Kiel Reduction Language

Experience with the Implementation of a Concurrent Graph Reduction System on an nCUBE/2~Platform

T. Bülck and A. Held and W.E. Kluge and S. Pantke and C. Rathsack and S.- B. Scholz and R. Schröder[B. Buchberger and J. Volkert (ed)] (INCOLLECTION, 1994)

-Red: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten --Kalküls

Gärtner, D. (phdthesis, 1991)

-Red: An interactive compiling graph reduction system for an applied -calculus

Gärtner, D. and Kluge, W.E. (article, 1996)

Using - red as a Teaching Tool for Functional Programming and Program Execution

W. E. Kluge and C. Rathsack and S.-B. Scholz[P. H. Hartel and M. J. Plasmeijer (ed)] (INCOLLECTION, 1995)

Reduction Languages and Reduction Systems

W. Kluge and C. Schmittgen[M. Vanneschi and P. Treleaven (ed)] (InProceedings, 1986)

A User's Guide for the Reduction System -RED

Werner E. Kluge (techreport, 1994)

Carsten Rathsack (phdthesis, 1997)

Ein/Ausgabe-Operationen in KiR

Stephan Timm (mastersthesis, 1996)