TIE: A CHR-based Type Inference Engine

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