[Haskell-cafe] Q: haskell type inference algorithm paper
xudifsd at gmail.com
Tue Feb 25 13:38:56 UTC 2014
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...
More information about the Haskell-Cafe