https://github.com/gergoerdi/tandoori

Compositional type checking for Haskell
https://github.com/gergoerdi/tandoori

haskell type-system typechecker

Last synced: 3 months ago
JSON representation

Compositional type checking for Haskell

• Host: GitHub
• URL: https://github.com/gergoerdi/tandoori
• Owner: gergoerdi
• License: bsd-3-clause
• Created: 2009-08-20T15:23:04.000Z (over 15 years ago)
• Default Branch: master
• Last Pushed: 2011-04-14T17:44:41.000Z (almost 14 years ago)
• Last Synced: 2023-04-22T16:46:49.858Z (almost 2 years ago)
• Topics: haskell, type-system, typechecker
• Language: Haskell
• Homepage:
• Size: 332 KB
• Stars: 33
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Tandoori: Compositional type checker for Haskell

================================================

Tandoori is an implementation of [Olaf Chitil's compositional type

system][comp], extended for supporting [type classes][class].

Illustration for my MSc thesis *Compositional Type Checking for

Hindley-Milner Type Systems with Ad-hoc Polymorphism*. See

 for details, and

[this blog post][blog] for a short introduction.

[comp]: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.818

[class]: http://research.microsoft.com/en-us/um/people/simonpj/papers/classhask.ps.gz

[blog]: http://gergo.erdi.hu/blog/2010-10-23-the_case_for_compositional_type_checking/