Nielsen, Lasse R.
-
BRICS Report Series No. 47 (2000): RS-47 A Denotational Investigation of Defunctionalization - Articles
A Denotational Investigation of Defunctionalization
Abstract PDF -
BRICS Report Series No. 30 (2001): RS-30 A Selective CPS Transformation - Articles
A Selective CPS Transformation
Abstract PDF -
BRICS Report Series No. 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation - Articles
A Simple Correctness Proof of the Direct-Style Transformation
Abstract PDF -
BRICS Report Series No. 49 (2001): RS-49 A First-Order One-Pass CPS Transformation - Articles
A First-Order One-Pass CPS Transformation
Abstract PDF -
BRICS Report Series No. 4 (2002): RS-4 Syntactic Theories in Practice - Articles
Syntactic Theories in Practice
Abstract PDF -
BRICS Report Series No. 3 (2002): RS-3 On One-Pass CPS Transformations - Articles
On One-Pass CPS Transformations
Abstract PDF -
BRICS Report Series No. 31 (2001): RS-31 Syntactic Theories in Practice - Articles
Syntactic Theories in Practice
Abstract PDF -
BRICS Report Series No. 39 (2004): RS-39 CPS Transformation of Beta-Redexes - Articles
CPS Transformation of Beta-Redexes
Abstract PDF -
BRICS Report Series No. 33 (2000): RS-33 A Higher-Order Colon Translation - Articles
A Higher-Order Colon Translation
Abstract PDF -
BRICS Report Series No. 35 (2000): RS-35 CPS Transformation of Beta-Redexes - Articles
CPS Transformation of Beta-Redexes
Abstract PDF -
BRICS Report Series No. 23 (2001): RS-23 Defunctionalization at Work - Articles
Defunctionalization at Work
Abstract PDF -
BRICS Report Series No. 26 (2004): RS-26 Refocusing in Reduction Semantics - Articles
Refocusing in Reduction Semantics
Abstract PDF -
BRICS Report Series No. 6 (2007): RS-6 On One-Pass CPS Transformations - Articles
On One-Pass CPS Transformations
Abstract PDF