prindi

The delay monad and restriction categories

autor
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
Tarmo Uustalu and Niccolò Veltri
allikas
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2017
leheküljed
p. 32-50
seeria-sari
Lecture notes in computer science ; 10580
leitav
https://doi.org/10.1007/978-3-319-67729-3_3
märksõna
monaadid
kategooriad (matemaatika)
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q2
kategooria (üld)
Computer Science
Mathematics
kategooria (alam)
Computer science. General computer science
Mathematics. Theoretical computer science
ISSN
0302-9743
ISBN
978-3-319-67728-6
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uustalu, T., Veltri, N. The delay monad and restriction categories // Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings. Cham : Springer, 2017. p. 32-50. (Lecture notes in computer science ; 10580). https://doi.org/10.1007/978-3-319-67729-3_3