What makes a strong monad?
author
McDermott, Dylan
Uustalu, Tarmo
statement of authorship
McDermott, Dylan, Uustalu, Tarmo
source
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
publisher
Open Publishing Association
year of publication
2022
pages
p. 113-133
series
Electronic proceedings in theoretical computer science ; 360
conference name, date
9th Workshop on Mathematically Structured Functional Programming, MSFP 2022, 2 April, 2022
conference location
Munich, Germany
url
https://doi.org/10.4204/EPTCS.360.6
subject term
monaadid
algebra
efektid (füüsika)
tugevus
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85134196437&origin=inward&txGid=7f5d550d2a9664418b53b538258ac2d5
WOS
https://www.webofscience.com/wos/woscc/summary/f18a13c9-f42f-4949-a527-952d9989e01f-b940241d/relevance/1
quartile
Q3
category (general)
Computer Science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
notes
Bibliogr.: 31 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory