Dariusz Biernacki

Available identifiers

zbMath Open biernacki.dariuszMaRDI QIDQ283737

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4957787	2021-09-09	Paper
An abstract machine for strong call by value	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5144665	2021-01-19	Paper
A complete normal-form bisimilarity for state	2020-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5377471	2019-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q5376646	2019-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q4603450	2018-02-20	Paper
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5367066	2017-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277834	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dariusz Biernacki