TalTech publikatsioonid
pealdis Gaboardi, M., Katsumata, S., Orchard, D., Breuvart, F., Uustalu, T.
TTÜ struktuuriüksus TTÜ Küberneetika Instituut
arvutiteaduse instituut
maakood us
keel inglise
autor Gaboardi, Marco
Katsumata, Shin-ya
Orchard, Dominic
Breuvart, Flavien
Uustalu, Tarmo
pealkiri Combining effects and coeffects via grading
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
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
url https://doi.org/10.1145/2951913.2951939