2 papers
cs.LO2026
A Category-Theoretic Framework for Dependent Effect Systems
Satoshi Kura, Marco Gaboardi, Taro Sekiyama +1
Graded monads refine traditional monads using effect annotations in order to describe quantitatively the computational effects that a program can generate. They have been successfu…
cs.CR2024
Programming Frameworks for Differential Privacy
Marco Gaboardi, Michael Hay, Salil Vadhan
Many programming frameworks have been introduced to support the development of differentially private software applications. In this chapter, we survey some of the conceptual ideas…