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

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

Keyphrases

Computer Science