All Categories → No Category → parametricity

Top 1 parametricity open source projects

Formalization of the polymorphic lambda calculus and its parametricity theorem

✭ 20

Coq lambda-calculus coq formalization polymorphism denotational-semantics system-f parametricity

1-1 of 1 parametricity projects