Classic Algorithm W for type inference.
Haskell
256
0 commits
updated Mar 29, 2010
www.grabmueller.de/martin/www/pub/AlgorithmW.en.html
jozefg/hm
A small implementation of type inference
80
Prathmesh234/simple-inference-autoresearch
Simple inference scaffolding + autoresearch
0
isovector/thinking-with-types
📖 source material for Thinking with Types
497
phadej/write-yourself-a-typed-functional-language
Write yourself a typed functional language
65
ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking…
134
trevp/double_ratchet
Double Ratchet Algorithm
377
jasnell/proposal-istypes
TC-39 Proposal for additional is{Type} APIs
201
polytypic/f-omega-mu
Fωμ type checker and compiler
58
100.0%
