Binders by day, labels by night: effect instances via lexically scoped handlers von Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip

Volltext

A General Fine-Grained Reduction Theory for Effect Handlers von Sieczkowski, Filip, Pyzik, Mateusz, Biernacki, Dariusz

Volltext

The Essence of Generalized Algebraic Data Types von Sieczkowski, Filip, Stepanenko, Sergei, Sterling, Jonathan, Birkedal, Lars

Volltext

Abstracting algebraic effects von Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip

Volltext

Handle with care: relational interpretation of algebraic effects and handlers von Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip

Volltext

A Kripke logical relation for effect-based program transformations von Birkedal, Lars, Jaber, Guilhem, Sieczkowski, Filip, Thamsborg, Jacob

Volltext

ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages von Sieczkowski, Filip, Bizjak, Aleš, Birkedal, Lars

Volltext

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning von Jung, Ralf, Swasey, David, Sieczkowski, Filip, Svendsen, Kasper, Turon, Aaron, Birkedal, Lars, Dreyer, Derek

Volltext

Transfinite Step-Indexing: Decoupling Concrete and Logical Steps von Svendsen, Kasper, Sieczkowski, Filip, Birkedal, Lars

Volltext

A Separation Logic for Fictional Sequential Consistency von Sieczkowski, Filip, Svendsen, Kasper, Birkedal, Lars, Pichon-Pharabod, Jean

Volltext

Automating Derivations of Abstract Machines from Reduction Semantics: A Generic Formalization of Refocusing in Coq von Sieczkowski, Filip, Biernacka, Małgorzata, Biernacki, Dariusz

Volltext

Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq von Bengtson, Jesper, Jensen, Jonas Braband, Sieczkowski, Filip, Birkedal, Lars

Volltext

Formalized Verification of Snapshotable Trees: Separation and Sharing von Mehnert, Hannes, Sieczkowski, Filip, Birkedal, Lars, Sestoft, Peter

Volltext

Heartbeat scheduling: provable efficiency for nested parallelism von Acar, Umut A., Charguéraud, Arthur, Guatto, Adrien, Rainey, Mike, Sieczkowski, Filip

Volltext

Dag-calculus: a calculus for parallel computation von Acar, Umut A., Charguéraud, Arthur, Rainey, Mike, Sieczkowski, Filip

Volltext

A Separation Logic for Fictional Sequential Consistency von Pichon-Pharabod, Jean, Sieczkowski, Filip, Birkedal, Lars, Svendsen, Kasper

Volltext bestellen