Degrading lists
author
McDermott, Dylan
Pirog, Maciej
Uustalu, Tarmo
statement of authorship
Dylan McDermott, Maciej Piróg, and Tarmo Uustalu
source
Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 2020
location of publication
New York
publisher
ACM
year of publication
2020
pages
art. 6, 14 p
series
ACM International Conference proceedings series
conference name, date
22nd International Symposium on Principles and Practice of Declarative Programming : PPDP 2020, 8-10 September 2020
conference location
Bologna, Italy
url
https://doi.org/10.1145/3414080.3414084
subject term
monaadid
algebra
Scopus
https://www.scopus.com/sourceid/11600154611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85092799037&origin=inward&txGid=dc399bf77350db5a012d24ad62845349
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Computer vision and pattern recognition
Arvutiteadus. Arvutinägemine ja mustrituvastus
Computer science. Human-computer interaction
Arvutiteadus. Inimese ja arvuti interaktsioon
Computer science. Software
Arvutiteadus. Tarkvara
keyword
monads
algebraic theories
graded monads
degrading
lists
ISBN
978-1-4503-8821-4
notes
Bibliogr.: 26 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory