prindi

Directed containers as categories

autor
Ahman, Danel
Uustalu, Tarmo
vastutusandmed
Danel Ahman, Tarmo Uustalu
allikas
Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016
ilmumiskoht
[S.l.]
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2016
leheküljed
p. 89-98
seeria-sari
Electronic proceedings in theoretical computer science ; 207
konverentsi nimetus, aeg
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
konverentsi toimumispaik
Eindhoven, The Netherlands
leitav
http://doi.org/10.4204/eptcs.207.5
märksõna
programmeerimine
struktuurprogrammeerimine
ISSN
2075-2180
märkused
Bibliogr.: 8 ref
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise
Ahman, D., Uustalu, T. Directed containers as categories // Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016) : Eindhoven, The Netherlands, 8 April 2016. [S.l.] : Open Publishing Association, 2016. p. 89-98. (Electronic proceedings in theoretical computer science ; 207). http://doi.org/10.4204/eptcs.207.5