Sound And Complete

An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Alternatives To Sound And Complete
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Sound And Complete81
6 years ago1gpl-3.0Haskell
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Higher Rank77
7 years ago1iscHaskell
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Alternatives To Sound And Complete
Select To Compare


Alternative Project Comparisons
Popular Polymorphism Projects
Popular Typechecker Projects
Popular Computer Science Categories

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Types
Haskell
Polymorphism
Typechecker