A Category-Theoretic Framework for Dependent Effect Systems.

Satoshi Kura, Marco Gaboardi, Taro Sekiyama, Hiroshi Unno

Browse the full ESOP paper archive.