Follow
Marco Paviotti
Marco Paviotti
Lecturer in Computer Science, University of Kent
Verified email at kent.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
382020
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
322015
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
312016
Denotational semantics in Synthetic Guarded Domain Theory
M Paviotti
IT University of Copenhagen, 2016
122016
Structured handling of scoped effects
Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers
European Symposium on Programming, 462-491, 2022
112022
Synthesis of distributed mobile programs using monadic types in coq
M Miculan, M Paviotti
Interactive Theorem Proving: Third International Conference, ITP 2012 …, 2012
72012
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
The system can't perform the operation now. Try again later.
Articles 1–15