( en | de | ru )

 

Disambiguierung von "Biernacki, Dariusz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.

, , , und . CoRR, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stephanie Biernacki

Dariusz Wawro

Dariusz Zakrzewicz

Dariusz Wolany

Dariusz Oko

 

Weitere Publikationen von Autoren mit dem selben Namen

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers., , und . FSCD, Volume 167 von LIPIcs, Seite 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Clock-directed modular code generation for synchronous data-flow languages., , , und . LCTES, Seite 121-130. ACM, (2008)An Operational Foundation for Delimited Continuations in the CPS Hierarchy., , und . Log. Methods Comput. Sci., (2005)Logical relations for coherence of effect subtyping., und . Log. Methods Comput. Sci., (2018)Proving Soundness of Extensional Normal-Form Bisimilarities., , und . Log. Methods Comput. Sci., (2019)A General Fine-Grained Reduction Theory for Effect Handlers., , und . Proc. ACM Program. Lang., 7 (ICFP): 511-540 (August 2023)Theoretical Pearl: A simple proof of a folklore theorem about delimited control., und . J. Funct. Program., 16 (3): 269-280 (2006)Non-Deterministic Abstract Machines., , , und . CONCUR, Volume 243 von LIPIcs, Seite 7:1-7:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines., , , , , und . CoRR, (2022)An operational foundation for the tactic language of Coq., , und . PPDP, Seite 25-36. ACM, (2013)