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
journal volume number month
Vol. 10, 3
year of publication
2014
pages
p. 1-48 : ill
subject term
programmeerimiskeeled
andmetüübid
andmestruktuurid
funktorid
keyword
containers
comonads
datatypes
dependently typed programming
Agda
ISSN
1860-5974
notes
Bibliogr. p. 24-25
TTÜ department
TTÜ Küberneetika Instituut
language
inglise