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
https://types2017.elte.hu/proc.pdf#page=107
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
1868-8969
ISBN
978-963-284-883-9
märkused
Bibliogr.: 8 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise