Combining effects and coeffects via grading.

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

Browse the full ICFP paper archive.