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

2024
What Monads Can and Cannot Do with a Bit of Extra Time
Møgelberg, R. E. & Zwart, M. A., 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 288. s. 39:1--39:18 18 s. 39
Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Åben adgang
Fil