print

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
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Computer science
category (sub)
Computer science. Computer networks and communications
Computer science. Computer vision and pattern recognition
Computer science. Human-computer interaction
Computer science. Software
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
McDermott, D., Piróg, M., Uustalu, T. Degrading lists // 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. New York : ACM, 2020. art. 6, 14 p. (ACM International Conference proceedings series). https://doi.org/10.1145/3414080.3414084