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 Press
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
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Computer networks and communications
en
Arvutiteadus. Arvutivõrgud ja side
et
Computer science. Computer vision and pattern recognition
en
Arvutiteadus. Arvutinägemine ja mustrituvastus
et
Computer science. Human-computer interaction
en
Arvutiteadus. Inimese ja arvuti interaktsioon
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
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
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory