Type theories for reactive programming
- ,
- Andrea Vezzosi(CoI),
- Christian Uldal Graulund(CoI),
- Magnus Baunsgaard Kristensen(CoI),
- Niccolò Veltri(CoI)
Projekt:
Forskning
Projektstatus
Afsluttet
Projektinformation
Projekttype
Forskning
Periode
22/01/2016 – 21/01/2022Status
AfsluttetFinansiering
Type theories for reactive programmingBevilling
FunderAmount
Villum Fonden
6439546 DKK