Directed containers as categories
autor
vastutusandmed
Danel Ahman, Tarmo Uustalu
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 89-98
konverentsi nimetus, aeg
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
konverentsi toimumispaik
Eindhoven, The Netherlands
ISSN
2075-2180
märkused
Bibliogr.: 8 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
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).