Ager, Mads Sig
-
BRICS Report Series No. 13 (2003): RS-13 A Functional Correspondence between Evaluators and Abstract Machines - Articles
A Functional Correspondence between Evaluators and Abstract Machines
Abstract PDF -
BRICS Report Series No. 14 (2003): RS-14 From Interpreter to Compiler and Virtual Machine: A Functional Derivation - Articles
From Interpreter to Compiler and Virtual Machine: A Functional Derivation
Abstract PDF -
BRICS Report Series No. 20 (2003): RS-20 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 32 (2002): RS-32 On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation - Articles
On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation
Abstract PDF -
BRICS Report Series No. 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation - Articles
A Symmetric Approach to Compilation and Decompilation
Abstract PDF -
BRICS Report Series No. 35 (2003): RS-35 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Abstract PDF -
BRICS Report Series No. 3 (2004): RS-3 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Abstract PDF -
BRICS Report Series No. 11 (2003): RS-11 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 20 (2004): RS-20 From Natural Semantics to Abstract Machines - Articles
From Natural Semantics to Abstract Machines
Abstract PDF -
BRICS Report Series No. 28 (2004): RS-28 A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational... - Articles
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Abstract PDF -
BRICS Report Series No. 40 (2004): RS-40 Fast Partial Evaluation of Pattern Matching in Strings - Articles
Fast Partial Evaluation of Pattern Matching in Strings
Abstract PDF -
BRICS Report Series No. 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines - Articles
A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Abstract