Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu. Combining effects and coeffects via grading. In Jacques Garrigue, Gabriele Keller, Eijiro Sumii, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. pages 476-489, ACM, 2016. [doi]
@inproceedings{GaboardiKOBU16,
title = {Combining effects and coeffects via grading},
author = {Marco Gaboardi and Shin-ya Katsumata and Dominic A. Orchard and Flavien Breuvart and Tarmo Uustalu},
year = {2016},
doi = {10.1145/2951913.2951939},
url = {http://doi.acm.org/10.1145/2951913.2951939},
researchr = {https://researchr.org/publication/GaboardiKOBU16},
cites = {0},
citedby = {0},
pages = {476-489},
booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016},
editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii},
publisher = {ACM},
isbn = {978-1-4503-4219-3},
}