Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Olivier Danvy
On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
BRICS Report Series
Back to Direct Style II: First-Class Continuations
BRICS Report Series
Lambda-Dropping: Transforming Recursive Equations Into Programs With Block Structure
BRICS Report Series
CPS Transformation of Beta-Redexes
BRICS Report Series
From Interpreter to Logic Engine by Defunctionalization
BRICS Report Series
Fast Partial Evaluation of Pattern Matching in Strings
BRICS Report Series
‹
1
2
