Directed containers as categories

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
kvartiil
Q3
kategooria (üld)
kategooria (alam)
ISSN
2075-2180
märkused
Bibliogr.: 8 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
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). https://doi.org/10.4204/eptcs.207.5