FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.
-
Updated
Dec 30, 2021 - Haskell
#
type-checker
Here are 4 public repositories matching this topic...
Statically-typed functional and concatenative programming language
-
Updated
Apr 13, 2022 - Haskell
Basic implementation of Hindley-Milner Type System and variants.
-
Updated
Apr 3, 2019 - Haskell
Hypertypes - generic programming for heterogeneous recursive types
-
Updated
Jan 12, 2025 - Haskell
Improve this page
Add a description, image, and links to the type-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checker topic, visit your repo's landing page and select "manage topics."