Partiality and container monads
author
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
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
subject term
WOS
kvartiil
category (general)
category (sub)
ISSN
1868-8969
ISBN
978-963-284-883-9
notes
Bibliogr.: 8 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
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.