pi-RED+ – an interactive compiling graph reduction system for an applied λ-calculus (1996)

by D Gaertner, W E Kluge
Venue:Journal of Functional Programming