Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lasse R. Nielsen
A Denotational Investigation of Defunctionalization
BRICS Report Series
CPS Transformation of Beta-Redexes
BRICS Report Series
Related publications
Why Denotational?
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A Certified Denotational Abstract Interpreter
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Program Transformations in a Denotational Setting
DAIMI Report Series
A Denotational Semantics for the Π-Calculus
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Denotational Semantics of a Parallel Object-Oriented Language
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Compiler Generation From Denotational Semantics
DAIMI Report Series
Structure-Dependent Thermal Defunctionalization of Single-Walled Carbon Nanotubes
ACS Nano
Materials Science
Nanoscience
Engineering
Nanotechnology
Astronomy
Physics
From Interpreter to Logic Engine by Defunctionalization
BRICS Report Series
