Małgorzata Biernacka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines Logical Methods in Computer Science	2024-09-04	Paper
Non-deterministic abstract machines	2024-08-13	Paper
The zoo of lambda-calculus reduction strategies, and Coq	2024-07-15	Paper
Deriving an abstract machine for strong call by need	2022-07-18	Paper
Proving termination of evaluation for system F with control operators	2021-09-09	Paper
Proving termination of evaluation for system F with control operators (available as arXiv preprint)	2021-09-09	Paper
An abstract machine for strong call by value (available as arXiv preprint)	2021-07-08	Paper
Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines	2021-01-19	Paper
scientific article; zbMATH DE number 7204429 (Why is no real title available?)	2020-05-26	Paper
A concrete framework for environment machines ACM Transactions on Computational Logic	2017-07-12	Paper
A context-based approach to proving termination of evaluation Electronic Notes in Theoretical Computer Science	2016-05-10	Paper
Program extraction from proofs of weak head normalization	2013-10-08	Paper
An Operational Foundation for Delimited Continuations in the CPS Hierarchy Logical Methods in Computer Science	2007-10-11	Paper
A syntactic correspondence between context-sensitive calculi and abstract machines Theoretical Computer Science	2007-05-11	Paper

Research outcomes over time

This page was built for person: Małgorzata Biernacka