L
Lasse R. Nielsen
Researcher at Aarhus University
Publications - 15
Citations - 522
Lasse R. Nielsen is an academic researcher from Aarhus University. The author has contributed to research in topics: Transformation (function) & Defunctionalization. The author has an hindex of 9, co-authored 15 publications receiving 501 citations. Previous affiliations of Lasse R. Nielsen include National Research Foundation of South Africa.
Papers
More filters
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.
Journal ArticleDOI
Refocusing in Reduction Semantics
Olivier Danvy,Lasse R. Nielsen +1 more
TL;DR: The construction of a refocus function shows how to mechanically obtain an abstract machine out of a reduction semantics, which was done previously on a case-by-case basis.
Journal ArticleDOI
A Denotational Investigation of Defunctionalization
TL;DR: This work formalizes defunctionalization denotationally for a typed functional language, and proves that it preserves the meaning of any terminating program, using logical relations.
Book ChapterDOI
A First-Order One-Pass CPS Transformation
Olivier Danvy,Lasse R. Nielsen +1 more
TL;DR: This work presents a new transformation of call-by-value lambda-terms into continuation-passing style (CPS), which operates in one pass and is both compositional and first-order.
Journal ArticleDOI
A first-order one-pass CPS transformation
Olivier Danvy,Lasse R. Nielsen +1 more
TL;DR: A new transformation of λ-terms into continuation-passing style (CPS), which operates in one pass and is both compositional and first-order, which is a new and simpler CPS transformation of control-flow information.