TIE: A CHR-based Type Inference Engine

[Martin Sulzmann]

Dear all,

the following might be of interest to Haskellians and Types people.

I'd like to announce the availability of

TIE: A CHR-based Type Inference Engine

We present a generic type inference algorithm for Hindley/Milner style
systems based on Constraint Handling Rules (CHRs). 
The system has been implemented in Haskell. We also provide a number of
examples which show the expressiveness of the system.

You can download it from

http://www.cs.mu.oz.au/~sulzmann/chr/


Martin Sulzmann