parametricity topic
List
parametricity repositories
scalaz-plugin
73
Stars
10
Forks
Watchers
A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
paramcoq
44
Stars
22
Forks
Watchers
Coq plugin for parametricity [maintainer=@proux01]
system-F
32
Stars
2
Forks
Watchers
Formalization of the polymorphic lambda calculus and its parametricity theorem