full record print

Combining effects and coeffects via grading

author
Gaboardi, Marco
Katsumata, Shin-ya
Orchard, Dominic
Breuvart, Flavien
Uustalu, Tarmo
statement of authorship
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
source
ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016
location of publication
New York
publisher
ACM
year of publication
pages
p. 476-489
conference name, date
21st ACM SIGPLAN International Conference on Functional Programming, September 18-24, 2016
conference location
Nara, Japan
url
ISBN
978-1-4503-4219-3
notes
Bibliogr.: 54 ref
TTÜ department
language
inglise
Gaboardi, M., Katsumata, S., Orchard, D., Breuvart, F., Uustalu, T. Combining effects and coeffects via grading // ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016. New York : ACM, 2016. p. 476-489. https://doi.org/10.1145/2951913.2951939