Combining effects and coeffects via grading
author
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
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
subject term
keyword
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.