Author of the publication

π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus.

, and . J. Funct. Program., 6 (5): 723-756 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Data File Management in Shift Register Memories.. VLDB, page 211-212. IEEE Computer Society, (1977)A Reversible SE(M)CD Machine.. IFL, volume 1868 of Lecture Notes in Computer Science, page 95-113. Springer, (1999)On the problem of fast random and sequential data access in shift register memories.. Computer Architecture, volume 4 of Informatik-Fachberichte, page 351-364. Springer, (1975)Kombinatorische Beschreibung und Lösung von Organisationsproblemen., and . ARCS, volume 27 of Informatik-Fachberichte, page 178-193. Springer, (1980)Reduction Languages and Reduction Systems., and . Future Parallel Computers, volume 272 of Lecture Notes in Computer Science, page 153-184. Springer, (1986)Impact of New Technologies.. VLDB, page 71. IEEE Computer Society, (1978)A concept for hardwired main storage management., and . Computer Architecture, volume 4 of Informatik-Fachberichte, page 79-94. Springer, (1975)pi-RED*-A Graph Reducer for a Full-Fledged lambda-Calculus., , and . New Generation Comput., 10 (2): 173-196 (1992)Abstract lambda-Calculus Machines.. CEFP, volume 5161 of Lecture Notes in Computer Science, page 112-157. Springer, (2007)Reduction, Data Flow and Control Flow Models of Computation.. Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, page 466-498. Springer, (1986)