prindi

Combining effects and coeffects via grading

autor
Gaboardi, Marco
Katsumata, Shin-ya
Orchard, Dominic
Breuvart, Flavien
Uustalu, Tarmo
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
2016
leheküljed
p. 476-489
konverentsi nimetus, aeg
21st ACM SIGPLAN International Conference on Functional Programming, September 18-24, 2016
konverentsi toimumispaik
Nara, Japan
leitav
https://doi.org/10.1145/2951913.2951939
märksõna
arvutiprogrammid
monaadid
mõjud
hindamine
võtmesõna
effects
coeffects
monads
comonads
distributive laws
grading
types
categorical semantics
ISBN
978-1-4503-4219-3
märkused
Bibliogr.: 54 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
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. https://doi.org/10.1145/2951913.2951939