full record print

Flexible presentations of graded monads

author
statement of authorship
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
source
publisher
ACM
journal volume number month
vol. 6, ICFP
year of publication
pages
art. 123, 28 p
url
ISSN
2475-1421
notes
Bibliogr.: 32 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
algebraic theory
Computational effect
flexible granding
granded monad
presentation
Reserch Group
High-assurance software laboratory
Katsumata, S., McDermott, D., Uustalu, T., Wu, N. Flexible presentations of graded monads // Proceedings of the ACM on Programming Languages (2022) vol. 6, ICFP, art. 123, 28 p. https://doi.org/10.1145/3547654