Combining effects and coeffects via grading

autor
Gaboardi, Marco
Orchard, Dominic
Breuvart, Flavien
vastutusandmed
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
allikas
ICFP 2016 : proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-24, 2016
ilmumiskoht
New York
kirjastus/väljaandja
ACM
ilmumisaasta
leheküljed
p. 476-489
konverentsi nimetus, aeg
21st ACM SIGPLAN International Conference on Functional Programming, September 18-24, 2016
konverentsi toimumispaik
Nara, Japan
ISBN
978-1-4503-4219-3
märkused
Bibliogr.: 54 ref
keel
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.