parametricity

There are 0 repository under parametricity topic.

scalaz / scalaz-plugin
A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.
scalaz compiler-plugin compiler-optimizations functional-programming parametricity compilers
Language:Scala 73
coq-community / paramcoq
Coq plugin for parametricity [maintainer=@proux01]
parametricity coq-plugin coq docker-coq-action coq-platform coq-ci
Language:Coq 44
Lysxia / system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
coq system-f parametricity polymorphism lambda-calculus formalization denotational-semantics
Language:Coq 32
coq-community / trocq
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
coq parametricity
Language:Coq 14
aatxe / reasoning-with-types
Corresponding example code from my blog post "Reasoning with Types in Rust"
blog-post example-code rust parametricity examples
Language:Rust 2
DIJamner / paramblame
Artifact for ICFP paper "Theorems for Free for Free"
programming-language icfp gradual-typing parametricity
Language:JavaScript 2

scalaz / scalaz-plugin