Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dariusz Biernacki
A Complete Normal-Form Bisimilarity for State
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applicative Bisimulations for Delimited-Control Operators
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
On the Dynamic Extent of Delimited Continuations
BRICS Report Series
On the Static and Dynamic Extents of Delimited Continuations
BRICS Report Series
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
BRICS Report Series
From Interpreter to Logic Engine by Defunctionalization
BRICS Report Series
