Autor der Publikation

Modular Compilation for Higher-Order Functional Choreographies.

, , , , und . ECOOP, Volume 263 von LIPIcs, Seite 7:1-7:37. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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

Programming Services with Correlation Sets., und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 125-141. Springer, (2011)Process-aware web programming with Jolie.. SAC, Seite 761-763. ACM, (2013)Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes., und . CoRR, (2021)Choreographies for Reactive Programming., , und . CoRR, (2018)A Framework for Rule-Based Dynamic Adaptation., , und . TGC, Volume 6084 von Lecture Notes in Computer Science, Seite 284-300. Springer, (2010)No More, No Less - A Formal Model for Serverless Computing., , , , , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 148-157. Springer, (2019)Now It Compiles! Certified Automatic Repair of Uncompilable Protocols., und . ITP, Volume 268 von LIPIcs, Seite 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Multiparty Languages: The Choreographic and Multitier Cases (Pearl)., , , , , und . ECOOP, Volume 194 von LIPIcs, Seite 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Model-Driven Code Generation for Microservices: Service Models., , , und . Microservices, Volume 111 von OASIcs, Seite 6:1-6:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Keep me out of the loop: a more flexible choreographic projection., , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 144-163. EasyChair, (2023)