bobatkey / system-f-parametricity-model

A Model of Relationally Parametric System F in Coq
22Updated 9 years ago

Related projects

Alternatives and complementary repositories for system-f-parametricity-model