prindi

Partiality and container monads

autor
Uustalu, Tarmo
Veltri, Niccolo
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
2017
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
leitav
http://types2017.elte.hu/proc.pdf#page=107
märksõna
monaadid
arvutusmeetodid
matemaatilised mudelid
ISBN
978-963-284-883-9
märkused
Bibliogr.: 8 ref
TTÜ struktuuriüksus
tarkvarateaduse instituut
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. http://types2017.elte.hu/proc.pdf#page=107