challenge

Type inference system

An implementation of a strongly-typed System F in Haskell

Strongly-typed System F in Haskell

117 stars

12 watching

9 forks

Language: Haskell

last commit: almost 4 years ago

Related projects:

Repository	Description	Stars
sweirich/graded-haskell	Mechanizations for two dependently-typed languages with graded types	24
sweirich/dth	Exploring and showcasing examples of dependently-typed programs in Haskell	303
mrkkrp/facts	A Haskell library for working with refined types to represent and manipulate data structures	57
wilbowma/cur	An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.	222
migamake/json-autotype	Generates Haskell type declarations from JSON input to improve developer productivity when working with big JSON APIs.	148
effectfully-ou/haskell-challenges	A collection of Haskell-specific coding challenges with test suites and expected solutions.	90
marcoheisig/typo	An inference library for Common Lisp's type system	39
i-am-tom/learn-me-a-haskell	Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure	70
hspec/hspec	A testing framework for Haskell programming language	755
johnsundell/codextended	A suite of extensions that augment the Codable API in Swift with type inference-powered capabilities and conveniences.	1,502
tfausak/rampart	A Haskell library for analyzing interval relationships and dependencies.	77
superstar64/aith	A language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.	64
lexi-lambda/higher-rank	A Haskell implementation of type checking and evaluation for higher-rank polymorphism	101
sdiehl/zurihac-crypto	Small minimal examples of modern cryptographic techniques in Haskell	79
ekmett/hask	Category theory for Haskell with a strong lens-like flavor.	163