Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Olivier Danvy
Fast Partial Evaluation of Pattern Matching in Strings
BRICS Report Series
Refunctionalization at Work
BRICS Report Series
On the Dynamic Extent of Delimited Continuations
BRICS Report Series
On the Static and Dynamic Extents of Delimited Continuations
BRICS Report Series
On Proving Syntactic Properties of CPS Programs
BRICS Report Series
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping
BRICS Report Series
Online Type-Directed Partial Evaluation
BRICS Report Series
Formalizing Implementation Strategies for First-Class Continuations
BRICS Report Series
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
BRICS Report Series
Eta-Expansion Does the Trick
BRICS Report Series
1
2
›
