What makes a strong monad?
vastutusandmed
McDermott, Dylan, Uustalu, Tarmo
allikas
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 113-133
seeria-sari
Electronic proceedings in theoretical computer science ; 360
konverentsi nimetus, aeg
9th Workshop on Mathematically Structured Functional Programming, MSFP 2022, 2 April, 2022
konverentsi toimumispaik
Munich, Germany
ISSN
2075-2180
märkused
Bibliogr.: 31 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
McDermott, D., Uustalu, T. What makes a strong monad? // Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming. : Open Publishing Association, 2022. p. 113-133. (Electronic proceedings in theoretical computer science ; 360).