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
https://types2017.elte.hu/proc.pdf#page=107
subject term
monaadid
arvutusmeetodid
matemaatilised mudelid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85086947322&origin=inward&txGid=9ffe9090424c7907568d204564b7228f
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000611567400020
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
1868-8969
ISBN
978-963-284-883-9
notes
Bibliogr.: 8 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise