Rose, Kristoffer H.
-
BRICS Report Series No. 46 (1997): RS-46 Higher-Order Rewriting and Partial Evaluation - Articles
Higher-Order Rewriting and Partial Evaluation
Abstract PDF -
BRICS Report Series No. 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution - Articles
Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
Abstract PDF -
BRICS Report Series No. 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax - Articles
Normalization by Evaluation with Typed Abstract Syntax
Abstract PDF