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…