Algebraic type based schema system
-
Updated
Jan 30, 2020 - Haskell
#
parametric-polymorphism
Here are 5 public repositories matching this topic...
A compiler for a little statically-typed language implemented in Haskell.
-
Updated
Apr 12, 2019 - Haskell
predicative lookup container
-
Updated
Nov 20, 2018 - Haskell
A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F
typechecker pattern-matching type-system system-f parametric-polymorphism universal-quantifiers simply-typed-lambda-calculus
-
Updated
Aug 5, 2017 - Haskell
Junu Spaghetti, a language that types spaghetti code
programming-language union-types structural-typing static-typing spaghetti-code parametric-polymorphism bidirectional-typechecking ad-hoc-polymorphism
-
Updated
Jan 12, 2022 - Haskell
Improve this page
Add a description, image, and links to the parametric-polymorphism topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the parametric-polymorphism topic, visit your repo's landing page and select "manage topics."