Flexible presentations of graded monads
author
Katsumata, Shin-ya
McDermott, Dylan
Uustalu, Tarmo
Wu, Nicolas
statement of authorship
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
source
Proceedings of the ACM on Programming Languages
publisher
ACM
journal volume number month
vol. 6, ICFP
year of publication
2022
pages
art. 123, 28 p
url
https://doi.org/10.1145/3547654
subject term
algebra
monaadid
esitlused
keyword
algebraic theory
Computational effect
flexible granding
granded monad
presentation
ISSN
2475-1421
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/record/display.uri?eid=2-s2.0-85139198557&origin=inward&txGid=e75ae01255c4cd5b231f0881396286c0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000851562000034
category (general)
Engineering
Computer science
Tehnika
Arvutiteadus
category (sub)
Engineering. Safety, risk, reliability and quality
Computer science. Software
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Arvutiteadus. Tarkvara
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory