TIE: A CHR-based Type Inference Engine

• To: haskell@haskell.org, types@cis.upenn.edu
• Subject: TIE: A CHR-based Type Inference Engine
• From: Martin Sulzmann <sulzmann@cs.mu.oz.au>
• Date: 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

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


Martin Sulzmann

• Prev: Final CFP: WITS '02
• Next: PhD studentship at Sussex
• Index(es):
  • Main
  • Thread