Dariusz Biernacki

From MaRDI portal
Person:283737

Available identifiers

zbMath Open biernacki.dariuszMaRDI QIDQ283737

List of research outcomes





PublicationDate of PublicationType
Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines2024-09-04Paper
Non-deterministic abstract machines2024-08-13Paper
Automating the functional correspondence between higher-order evaluators and abstract machines2023-05-08Paper
Diacritical companions2022-04-29Paper
Proving soundness of extensional normal-form bisimilarities2022-04-25Paper
https://portal.mardi4nfdi.de/entity/Q49577872021-09-09Paper
An abstract machine for strong call by value2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q51446652021-01-19Paper
A complete normal-form bisimilarity for state2020-01-28Paper
https://portal.mardi4nfdi.de/entity/Q53774712019-05-24Paper
https://portal.mardi4nfdi.de/entity/Q53766462019-05-17Paper
https://portal.mardi4nfdi.de/entity/Q46034502018-02-20Paper
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation2017-10-17Paper
https://portal.mardi4nfdi.de/entity/Q53670662017-10-12Paper
https://portal.mardi4nfdi.de/entity/Q52778342017-07-12Paper
Applicative bisimilarities for call-by-name and call-by-value \(\lambda\mu\)-calculus2016-05-13Paper
A context-based approach to proving termination of evaluation2016-05-10Paper
Subtyping delimited continuations2015-03-05Paper
Environmental Bisimulations for Delimited-Control Operators2015-01-12Paper
Normal Form Bisimulations for Delimited-Control Operators2012-07-20Paper
Applicative Bisimulations for Delimited-Control Operators2012-06-22Paper
On the dynamic extent of delimited continuations2009-12-18Paper
An Operational Foundation for Delimited Continuations in the CPS Hierarchy2007-10-11Paper
On the static and dynamic extents of delimited continuations2006-06-30Paper
THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control2006-06-09Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper

Research outcomes over time

This page was built for person: Dariusz Biernacki