Partiality and container monads
vastutusandmed
armo Uustalu and Niccolò Veltri
allikas
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
ilmumiskoht
Budapest
kirjastus/väljaandja
Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Lorand University
ilmumisaasta
leheküljed
p. 99-100
konverentsi nimetus, aeg
23rd International Conference on Types for Proofs and Programs, TYPES 2017, 29 May - 1 June 2017
konverentsi toimumispaik
Budapest, Hungary
WOS
kvartiil
kategooria (üld)
kategooria (alam)
ISSN
1868-8969
ISBN
978-963-284-883-9
märkused
Bibliogr.: 8 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Uustalu, T., Veltri, N. Partiality and container monads // 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts. Budapest : Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Lorand University, 2017. p. 99-100.