Flexible presentations of graded monads
autor
Katsumata, Shin-ya
McDermott, Dylan
Uustalu, Tarmo
Wu, Nicolas
vastutusandmed
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 6, ICFP
ilmumisaasta
2022
leheküljed
art. 123, 28 p
leitav
https://doi.org/10.1145/3547654
märksõna
algebra
monaadid
esitlused
võtmesõna
algebraic theory
Computational effect
flexible granding
granded monad
presentation
ISSN
2475-1421
märkused
Bibliogr.: 32 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Engineering
Computer science
Tehnika
Arvutiteadus
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Computer science. Software
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium