https://github.com/adamgundry/type-inference

Unification and type inference algorithms
https://github.com/adamgundry/type-inference

Last synced: 8 days ago
JSON representation

Unification and type inference algorithms

• Host: GitHub
• URL: https://github.com/adamgundry/type-inference
• Owner: adamgundry
• License: bsd-3-clause
• Created: 2013-07-23T17:10:41.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2015-02-21T11:25:36.000Z (over 9 years ago)
• Last Synced: 2024-02-17T10:37:52.635Z (9 months ago)
• Language: Haskell
• Homepage: http://adam.gundry.co.uk/pub/thesis/
• Size: 141 KB
• Stars: 119
• Watchers: 8
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
type-inference

--------------

This package contains literate Haskell implementations of three

unification algorithms (for the free theory, abelian groups and

higher-order pattern unification) and two type inference algorithms

(for the Hindley-Milner type system and Kennedy-style units of

measure).  It accompanies the Ph.D. thesis "Type Inference, Haskell

and Dependent Types" by Adam Gundry.

http://adam.gundry.co.uk/