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
2016
pages
p. 476-489
conference name, date
21st ACM SIGPLAN International Conference on Functional Programming, September 18-24, 2016
conference location
Nara, Japan
url
https://doi.org/10.1145/2951913.2951939
subject term
arvutiprogrammid
monaadid
mõjud
hindamine
keyword
effects
coeffects
monads
comonads
distributive laws
grading
types
categorical semantics
ISBN
978-1-4503-4219-3
notes
Bibliogr.: 54 ref
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise