TIE: A CHR-based Type Inference Engine

Martin Sulzmann sulzmann@cs.mu.OZ.AU
Wed, 19 Sep 2001 00:33:18 +1000

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


Martin Sulzmann