Hatcliff, John
-
BRICS Report Series No. 19 (1996): RS-19 Thunks and the lambda-Calculus - Articles
Thunks and the lambda-Calculus
Abstract PDF -
BRICS Report Series No. 7 (1997): RS-07 Thunks and the lambda-Calculus (Extended Version) - Articles
Thunks and the lambda-Calculus (Extended Version)
Abstract PDF -
BRICS Report Series No. 34 (1996): RS-34 A Computational Formalization for Partial Evaluation (Extended Version) - Articles
A Computational Formalization for Partial Evaluation (Extended Version)
Abstract PDF
