Type theories for reactive programming

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

Project: Research

  • 7 Article in proceedings
  • 3 Journal article
  • 2 PhD thesis
  • 1 Conference article

Search results