O
Olivier Danvy
Researcher at Aarhus University
Publications - 218
Citations - 6299
Olivier Danvy is an academic researcher from Aarhus University. The author has contributed to research in topics: Partial evaluation & Abstract machine. The author has an hindex of 40, co-authored 212 publications receiving 6103 citations. Previous affiliations of Olivier Danvy include National Research Foundation of South Africa & University of Copenhagen.
Papers
More filters
Proceedings ArticleDOI
Abstracting control
Olivier Danvy,Andrzej Filinski +1 more
TL;DR: This article investigates an alternative formulation of continuations, exploiting the latent expressive power of the standard continuation-passing style (CPS) instead of introducing yet other new concepts, and describes an improved conversion into applicative-order CPS.
Journal ArticleDOI
Representing Control: a Study of the CPS Transformation
Olivier Danvy,Andrzej Filinski +1 more
TL;DR: It is shown that by appropriate η-expansion of Fisher and Plotkin's two-pass equational specification of the CPS transform, a static and context-free separation of the result terms into “essential” and “administrative” constructs is obtained.
Proceedings ArticleDOI
Tutorial notes on partial evaluation
Charles Consel,Olivier Danvy +1 more
TL;DR: These tutorial notes survey the field and present a critical assessment of the state of the art in the area of partial evaluation.
Proceedings ArticleDOI
Type-directed partial evaluation
TL;DR: This paper bridges partial evaluation and ¿-calculus normalization through higher-order abstract syntax, and touches upon parametricity, proof theory, and type theory (including subtyping and coercions), compiler optimization, and rut-time code generation (including decompilation).
Proceedings ArticleDOI
Defunctionalization at work
Olivier Danvy,Lasse R. Nielsen +1 more
TL;DR: Practical applications of defunctionalization are studied and new connections between seemingly unrelated higher-order and first-order specifications and between their correctness proofs are uncovered.