Marco Paviotti

Available identifiers

zbMath Open paviotti.marcoMaRDI QIDQ1683697

List of research outcomes

Publication	Date of Publication	Type
Structured handling of scoped effects	2023-08-03	Paper
Denotational semantics of recursive types in synthetic guarded domain theory	2019-02-19	Paper
Denotational semantics of recursive types in synthetic guarded domain theory	2018-04-23	Paper
Formally verifying exceptions for low-level code with separation logic	2017-12-01	Paper
A model of PCF in guarded type theory	2016-12-16	Paper
Synthesis of Distributed Mobile Programs Using Monadic Types in Coq	2012-09-20	Paper

Research outcomes over time

This page was built for person: Marco Paviotti