Guarded recursion in Agda via sized types

Niccolò Veltri, Niels van der Weide

Radboud University Nijmegen

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

1 resultater
- Relevans

Filter

Type theories for reactive programming
Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)
Villum Fonden
22/01/2016 → 21/01/2022
Projekter: Projekt › Forskning