Spring til hovednavigation Spring til søgning Spring til hovedindhold

Type theories for reactive programming

  • Møgelberg, Rasmus Ejlers (PI)
  • Vezzosi, Andrea (CoI)
  • Graulund, Christian Uldal (CoI)
  • Kristensen, Magnus Baunsgaard (CoI)
  • Veltri, Niccolò (CoI)

Projekter: Projekt › Forskning

  • 7 Konferencebidrag i proceedings
  • 3 Tidsskriftartikel
  • 2 Ph.d.-afhandling
  • 1 Konferenceartikel
Filter
Konferenceartikel

Søgeresultater

  • 2019

    Guarded recursion in Agda via sized types

    Veltri, N. & van der Weide, N., 2019, I: Leibniz International Proceedings in Informatics (LIPIcs). 131, s. 32:1–32:19 32.

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

    Åben adgang
    Fil