Dariusz Biernacki

Available identifiers

zbMath Open biernacki.dariuszMaRDI QIDQ283737

List of research outcomes

Publication	Date of Publication	Type
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines	2024-09-04	Paper
Non-deterministic abstract machines	2024-08-13	Paper
Automating the functional correspondence between higher-order evaluators and abstract machines	2023-05-08	Paper
Diacritical companions	2022-04-29	Paper
Proving soundness of extensional normal-form bisimilarities	2022-04-25	Paper
Proving termination of evaluation for system F with control operators	2021-09-09	Paper
An abstract machine for strong call by value	2021-07-08	Paper
Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines	2021-01-19	Paper
A complete normal-form bisimilarity for state	2020-01-28	Paper
Bisimulations for delimited-control operators	2019-05-24	Paper
Proving soundness of extensional normal-form bisimilarities	2019-05-17	Paper
Logical relations for coherence of effect subtyping	2018-02-20	Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation	2017-10-17	Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation	2017-10-12	Paper
Logical relations for coherence of effect subtyping	2017-07-12	Paper
Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus	2016-05-13	Paper
A context-based approach to proving termination of evaluation	2016-05-10	Paper
Subtyping delimited continuations	2015-03-05	Paper
Environmental bisimulations for delimited-control operators	2015-01-12	Paper
Normal form bisimulations for delimited-control operators	2012-07-20	Paper
Applicative bisimulations for delimited-control operators	2012-06-22	Paper
On the dynamic extent of delimited continuations	2009-12-18	Paper
An Operational Foundation for Delimited Continuations in the CPS Hierarchy	2007-10-11	Paper
On the static and dynamic extents of delimited continuations	2006-06-30	Paper
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control	2006-06-09	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper

Research outcomes over time

This page was built for person: Dariusz Biernacki