( en | de | ru )

 

Disambiguierung von "Sieczkowski, Filip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Binders by day, labels by night: effect instances via lexically scoped handlers.

, , , und . Proc. ACM Program. Lang., 4 (POPL): 48:1-48:29 (2020)

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.

Filip Lebo

Adam Filip

Filip Beck

Heinrich Filip

Filip Klein

 

Weitere Publikationen von Autoren mit dem selben Namen

A Separation Logic for Fictional Sequential Consistency., , , und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 736-761. Springer, (2015)A Concurrent Logical Relation., , und . CSL, Volume 16 von LIPIcs, Seite 107-121. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages., , und . ITP, Volume 9236 von Lecture Notes in Computer Science, Seite 375-390. Springer, (2015)A General Fine-Grained Reduction Theory for Effect Handlers., , und . Proc. ACM Program. Lang., 7 (ICFP): 511-540 (August 2023)The Essence of Generalized Algebraic Data Types., , , und . Proc. ACM Program. Lang., 8 (POPL): 695-723 (Januar 2024)Handle with care: relational interpretation of algebraic effects and handlers., , , und . Proc. ACM Program. Lang., 2 (POPL): 8:1-8:30 (2018)Binders by day, labels by night: effect instances via lexically scoped handlers., , , und . Proc. ACM Program. Lang., 4 (POPL): 48:1-48:29 (2020)Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory., , und . PPDP, Seite 4:1-4:13. ACM, (2021)Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq., , , und . ITP, Volume 6898 von Lecture Notes in Computer Science, Seite 22-38. Springer, (2011)Dag-calculus: a calculus for parallel computation., , , und . ICFP, Seite 18-32. ACM, (2016)