Modular relaxed dependencies in weak memory concurrency M Paviotti, S Cooksey, A Paradis, D Wright, S Owens, M Batty Programming Languages and Systems LNCS 12075, 599, 2020 | 38 | 2020 |
Denotational semantics of recursive types in synthetic guarded domain theory RE Møgelberg, M Paviotti Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 32 | 2016 |
A model of PCF in guarded type theory M Paviotti, RE Møgelberg, L Birkedal Electronic Notes in Theoretical Computer Science 319, 333-349, 2015 | 32 | 2015 |
Structured handling of scoped effects Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers European Symposium on Programming, 462-491, 2022 | 12 | 2022 |
Denotational semantics in Synthetic Guarded Domain Theory M Paviotti IT University of Copenhagen, 2016 | 12 | 2016 |
Synthesis of distributed mobile programs using monadic types in coq M Miculan, M Paviotti Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012 | 7 | 2012 |
Mechanising Recursion Schemes with Magic-Free Coq Extraction D Castro-Perez, M Paviotti, M Vollmer Mechanising Recursion Schemes with Magic-Free Coq Extraction, 2024 | | 2024 |
Full Abstraction for Free M Paviotti, N Wu arXiv preprint arXiv:2303.09358, 2023 | | 2023 |
Structured Handling of Scoped Effects: Extended Version Z Yang, M Paviotti, N Wu, B Berg, T Schrijvers arXiv preprint arXiv:2201.10287, 2022 | | 2022 |
Denotational semantics of recursive types in synthetic guarded domain theory RE Møgelberg, M Paviotti Mathematical Structures in Computer Science 29 (3), 465-510, 2019 | | 2019 |
Formally verifying exceptions for low-level code with separation logic M Paviotti, J Bengtson Journal of logical and algebraic methods in programming 94, 1-14, 2018 | | 2018 |
Denotational semantics of recursive types in synthetic guarded domain theory M Paviotti, R Møgelberg ACM, 2016 | | 2016 |
CATEGORY THEORY D ORCHARD, M PAVIOTTI | | |
A Memorandum on Kan Extensions and Monads M Paviotti | | |
Extraction of certified programs with effects from proofs with monadic types in Coq M Miculan, M Paviotti | | |