Ahman, D., Chapman, J., Uustalu, T. - TalTech teadusportaal

prindi

When is a container a comonad?

autor

Ahman, Danel

Chapman, James

Uustalu, Tarmo

vastutusandmed

Danel Ahman, James Chapman, and Tarmo Uustalu

allikas

ajakirja aastakäik number kuu

Vol. 10, 3

ilmumisaasta

2014

leheküljed

p. 1-48 : ill

märksõna

programmeerimiskeeled

andmetüübid

andmestruktuurid

funktorid

võtmesõna

containers

comonads

datatypes

dependently typed programming

Agda

ISSN

1860-5974

märkused

Bibliogr. p. 24-25

TTÜ struktuuriüksus

TTÜ Küberneetika Instituut

keel

inglise

Ahman, D., Chapman, J., Uustalu, T. When is a container a comonad? // Logical methods in computer science (2014) Vol. 10, 3, p. 1-48 : ill.