Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Malgorzata Biernacka
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
BRICS Report Series
Related publications
Abstracting Abstract Machines
ACM SIGPLAN Notices
Computer Science
Concurrent Abstract Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Interaction Abstract Machines
Concurrent Abstract State Machines
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Fully Abstract Compilation to JavaScript
ACM SIGPLAN Notices
Computer Science
Environments and the Complexity of Abstract Machines
Fully Abstract Translations Between Functional Languages
Abstract Machines for Open Call-By-Value
Science of Computer Programming
Software
State Enumeration With Abstract Descriptions of State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
