full record print

Degrading lists

author
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
pages
art. 6, 14 p
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
ISBN
978-1-4503-8821-4
notes
Bibliogr.: 26 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
keyword
monads
algebraic theories
graded monads
degrading
lists
Reserch Group
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