Schultz, Ulrik P.
-
BRICS Report Series No. 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract PDF -
BRICS Report Series No. 27 (1999): RS-27 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract PDF -
BRICS Report Series No. 26 (2003): RS-26 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 30 (2002): RS-30 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 12 (2004): RS-12 Lambda-Lifting in Quadratic Time - Articles
Lambda-Lifting in Quadratic Time
Abstract PDF -
BRICS Report Series No. 54 (1998): RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Abstract