Filinski, Andrzej
-
BRICS Report Series No. 17 (1999): RS-17 A Semantic Account of Type-Directed Partial Evaluation - Articles
A Semantic Account of Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation - Articles
A Denotational Account of Untyped Normalization by Evaluation
Abstract PDF -
BRICS Report Series No. 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation - Articles
Denotational Aspects of Untyped Normalization by Evaluation
Abstract PDF