[Haskell-cafe] Q: haskell type inference algorithm paper

[Di Xu]

Hi, all

I'm new to haskell, I'm learning haskell for its type system, and I found
haskell type inference is excellent, I'm interested in its type inference
algorithm, could you give me some paper or material reference that describe
the haskell type inference algorithm? I want to port it to typed clojure.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140225/31b201f2/attachment.html>