When is a container a comonad?
autor
Ahman, Danel
Chapman, James
Uustalu, Tarmo
vastutusandmed
Danel Ahman, James Chapman, and Tarmo Uustalu
allikas
Logical methods in computer science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
Vol. 10, 3
ilmumisaasta
2014
leheküljed
p. 1-48 : ill
leitav
https://doi.org/10.2168/LMCS-10(3:14)2014
märksõna
programmeerimiskeeled
andmetüübid
andmestruktuurid
funktorid
võtmesõna
containers
comonads
datatypes
dependently typed programming
Agda
ISSN
1860-5974
märkused
Bibliogr.: 33 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014
https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
keel
inglise