system-f-parametricity-model
A Model of Relationally Parametric System F in Coq
22 stars
4 watching
3 forks
Language: Coq
last commit: over 9 years ago system-f-parametricity-model A Model of Relationally Parametric System F in Coq