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