Autor der Publikation

Equational Theories and Monads from Polynomial Cayley Representations.

, , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 453-469. Springer, (2019)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

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)The Essence of Generalized Algebraic Data Types., , , und . Proc. ACM Program. Lang., 8 (POPL): 695-723 (Januar 2024)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 Reflection on Continuation-Composing Style., , und . FSCD, Volume 167 von LIPIcs, Seite 18:1-18:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq., , und . IFL, Volume 6647 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2010)Formalized Verification of Snapshotable Trees: Separation and Sharing., , , und . VSTTE, Volume 7152 von Lecture Notes in Computer Science, Seite 179-195. Springer, (2012)Typed Equivalence of Effect Handlers and Delimited Control., , und . FSCD, Volume 131 von LIPIcs, Seite 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)