Type theories for reactive programming
- ,
- Andrea Vezzosi(CoI),
- Christian Uldal Graulund(CoI),
- Magnus Baunsgaard Kristensen(CoI),
- Niccolò Veltri(CoI)
Project:
Research
Project status
Finished
Project Information
Project Type
Research
Time Period
22/01/2016 – 21/01/2022Status
FinishedFunding Details
Type theories for reactive programmingAward
FundersAmounts
Villum Foundation
6439546 DKK