Distributive laws of directed containers
author
Ahman, Danel
Uustalu, Tarmo
statement of authorship
Danel Ahman and Tarmo Uustalu
source
Progress in Informatics
publisher
National Institute of Informatics
journal volume number month
Vol. March 2013, Issue 10
year of publication
2013
pages
p. 3-18
url
https://doi.org/10.2201/NiiPi.2013.10.2
subject term
programmeerimine
monoidid
andmekogud
struktuurprogrammeerimine
keyword
comonads
dependently typed programming
directed containers
distributive laws
mathematical structures in functional programming
monoids
Zappa-Sźep products
ISSN
1349-8606
notes
Bibliogr.: 20 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/144630
https://www.scopus.com/record/display.uri?eid=2-s2.0-84877657005&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.2201%2FNiiPi.2013.10.2%29
category (general)
Social sciences
Sotsiaalteadused
Computer science
Arvutiteadus
category (sub)
Social sciences. Library and information sciences
Sotsiaalteadused. Raamatukogu- ja infoteadused
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
quartile
Q4
TalTech department
küberneetika instituut
language
inglise