Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compiling first-order functions to session-typed parallel code., and . CC, page 143-154. ACM, (2020)Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols., and . ECOOP, volume 263 of LIPIcs, page 6:1-6:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)The Concurrent Calculi Formalisation Benchmark., , , , , , , , , and 2 other author(s). COORDINATION, volume 14676 of Lecture Notes in Computer Science, page 149-158. Springer, (2024)Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes., , , and . PLDI, page 237-251. ACM, (2021)EMTST: Engineering the Meta-theory of Session Types., , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 278-285. Springer, (2020)