When is a container a comonad?
author
Ahman, Danel
Chapman, James
Uustalu, Tarmo
statement of authorship
Danel Ahman, James Chapman, and Tarmo Uustalu
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
Vol. 10, 3
year of publication
2014
pages
p. 1-48 : ill
url
https://doi.org/10.2168/LMCS-10(3:14)2014
subject term
programmeerimiskeeled
andmetüübid
andmestruktuurid
funktorid
keyword
containers
comonads
datatypes
dependently typed programming
Agda
ISSN
1860-5974
notes
Bibliogr.: 33 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q1
TalTech department
TTÜ Küberneetika Instituut
language
inglise