The list of publications has been automatically generated from this bibtex file



, , .
, , .
[pdf]

Notes

A Taste of Categorical Semantics
Marco Paviotti and Dominic Orchard
Notes, 2024.
[pdf]

Kan Extensions and Monads
Marco Paviotti
Notes, 2023.
[pdf]

ISO Standards

Modular Relaxed Dependencies (MRD) is a prospective model of C++ concurrency (first appeared in ESOP ‘20’) which is being considered for the next ISO standard of C++.