Guarded recursive types in the foundations of programming
- ,
- Bassel Mannaa(CoI),
- Patrick Bahr(CoI)
Projekt:
Forskning
Projektstatus
Afsluttet
Projektinformation
Projekttype
Forskning
Periode
01/07/2015 – 31/01/2019Status
AfsluttetFinansiering
Guarded recursive types in the foundations of programmingBevilling
FunderAmount
Danmarks Frie Forskningsfond
2571358 DKK