Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Combining effects and coeffects via grading
ICFP, 2016.
@inproceedings{ICFP-2016-GaboardiKOBU,
author = "Marco Gaboardi and Shin-ya Katsumata and Dominic A. Orchard and Flavien Breuvart and Tarmo Uustalu",
booktitle = "{Proceedings of the 21st International Conference on Functional Programming}",
doi = "10.1145/2951913.2951939",
ee = "https://www.wikidata.org/entity/Q59447217",
isbn = "978-1-4503-4219-3",
pages = "476--489",
publisher = "{ACM}",
title = "{Combining effects and coeffects via grading}",
year = 2016,
}