SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages

Project Details

StatusFinished
Effective start/end date7/1/146/30/18

Funding

  • NSF - National Science Foundation: $600,000.00