Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. - Marino Miculan; Marco Paviotti (ITP, 2012)

A Model of PCF in Guarded Type Theory. - Marco Paviotti; Rasmus Ejlers Møgelberg; Lars Birkedal (MFPS, 2015)

Formally verifying exceptions for low-level code with separation logic. - Marco Paviotti; Jesper Bengtson (J. Log. Algebraic Methods Program., 2018)

Denotational semantics of recursive types in synthetic guarded domain theory. - Rasmus Ejlers Møgelberg; Marco Paviotti (Math. Struct. Comput. Sci., 2019)

Modular Relaxed Dependencies in Weak Memory Concurrency. - Marco Paviotti; Simon Cooksey; Anouk Paradis; Daniel Wright 001; Scott Owens; Mark Batty (ESOP, 2020)

Structured Handling of Scoped Effects. - Zhixuan Yang; Marco Paviotti; Nicolas Wu; Birthe van den Berg; Tom Schrijvers (ESOP, 2022)

Structured Handling of Scoped Effects: Extended Version. - Zhixuan Yang; Marco Paviotti; Nicolas Wu; Birthe van den Berg; Tom Schrijvers (CoRR, 2022)

Full Abstraction for Free. - Marco Paviotti; Nicolas Wu (CoRR, 2023)