Algebraic Effects and Guarded Recursion

Møgelberg, Rasmus Ejlers (PI)
Zwart, Maaike Annebet (CoI)

Programming Logic and Semantics

Projekter: Projekt › Forskning

1 Konferencebidrag i proceedings
1 Konferenceartikel

1 resultater

Filter

2025
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L., 2025, I: Proceedings of the ACM on Programming Languages. 9, POPL
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Åben adgang
Fil