Distributive laws of directed containers
autor
Ahman, Danel
Uustalu, Tarmo
vastutusandmed
Danel Ahman and Tarmo Uustalu
allikas
Progress in Informatics
kirjastus/väljaandja
National Institute of Informatics
ajakirja aastakäik number kuu
Vol. March 2013, Issue 10
ilmumisaasta
2013
leheküljed
p. 3-18
leitav
https://doi.org/10.2201/NiiPi.2013.10.2
märksõna
programmeerimine
monoidid
andmekogud
struktuurprogrammeerimine
võtmesõna
comonads
dependently typed programming
directed containers
distributive laws
mathematical structures in functional programming
monoids
Zappa-Sźep products
ISSN
1349-8606
märkused
Bibliogr.: 20 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Social sciences
Sotsiaalteadused
Computer science
Arvutiteadus
kategooria (alam)
Social sciences. Library and information sciences
Sotsiaalteadused. Raamatukogu- ja infoteadused
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
kvartiil
Q4
TTÜ struktuuriüksus
küberneetika instituut
keel
inglise