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

Mon, 01 Jan 1996 00:00:00 +0100

Dietmar Gärtner, Werner E. Kluge:
π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus. J. Funct. Program. 6(5): 723-756 (1996)