Partiality and container monads
author
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
armo Uustalu and Niccolò Veltri
source
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts
location of publication
Budapest
publisher
Department of Programming Languages and Compilers, Faculty of Informatics, Eötvös Lorand University
year of publication
2017
pages
p. 99-100
conference name, date
23rd International Conference on Types for Proofs and Programs, TYPES 2017, 29 May - 1 June 2017
conference location
Budapest, Hungary
url
http://types2017.elte.hu/proc.pdf#page=107
subject term
monaadid
arvutusmeetodid
matemaatilised mudelid
ISBN
978-963-284-883-9
notes
Bibliogr.: 8 ref
TTÜ department
tarkvarateaduse instituut
language
inglise