Toggle navigation
Home
People
Departments
Research
About
Login
Search
Pushing the Frontier with Dependently Typed Programming in High-Level Structures
Grant
Overview
Affiliation
View All
Overview
date/time interval
April 1, 2012 - March 31, 2017
awarded by
Natural Sciences and Engineering Research Council
total award amount
CAD 70000
Affiliation
contributor
Kahl, Wolfram
Funded by