Guarded recursive types in the foundations of programming
- ,
- Bassel Mannaa(CoI),
- Patrick Bahr(CoI)
Project:
Research
Project status
Finished
Project Information
Project Type
Research
Time Period
01/07/2015 – 31/01/2019Status
FinishedFunding Details
Guarded recursive types in the foundations of programmingAward
FundersAmounts
Independent Research Fund Denmark
2571358 DKK