Directed containers as categories
author
statement of authorship
Danel Ahman, Tarmo Uustalu
location of publication
[S.l.]
publisher
year of publication
pages
p. 89-98
conference name, date
6th Workshop on Mathematically Structured Functional Programming, 8 April, 2016
conference location
Eindhoven, The Netherlands
ISSN
2075-2180
notes
Bibliogr.: 8 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
WOS
quartile
classifier
category (general)
category (sub)
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).