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 contextual objects: bringing higher-order abstract syntax to programmers., , and . PLPV, page 13-24. ACM, (2013)Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)., and . Dagstuhl Artifacts Ser., 9 (2): 18:1-18:2 (2023)Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)., and . ECOOP, volume 263 of LIPIcs, page 42:1-42:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Peer-To-Peer Platform Based on Semantic Web Services., , and . WWW (Posters), (2003)Bidirectional Elaboration of Dependently Typed Programs., and . PPDP, page 161-174. ACM, (2014)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)Generating Interactive WebSocket Applications in TypeScript., , , and . PLACES@ETAPS, volume 314 of EPTCS, page 12-22. (2020)Fair reactive programming., , , and . POPL, page 361-372. ACM, (2014)A Portable System to Support Electrocardiography in Emergency Care., , , , , , , , and . CBMS, page 256-257. IEEE Computer Society, (2015)