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

Søgeresultater