Combining effects and coeffects via grading

Gaboardi, Marco; Katsumata, Shin-ya; Orchard, Dominic; Breuvart, Flavien; Uustalu, Tarmo

doi:10.1145/2951913.2951939

Combining effects and coeffects via grading

Gaboardi, Marco, Katsumata, Shin-ya, Orchard, Dominic, Breuvart, Flavien, Uustalu, Tarmo·2016·Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming

DOI 10.1145/2951913.2951939