Petr Pudlak wrote:
> could somebody recommend me study materials for learning Hindley-Milner
> type inference algorithm I could recommend to undergraduate students?
Perhaps you might like a two-lecture course for undergraduates, which
uses Haskell throughout
http://okmij.org/ftp/Haskell
There is a summary paper by Sunil Kothari and James L. Cladwell
covering the algorithms M, J and W with informal presentations plus
code available in Ocaml. Paper is on Citeseer, code is available from
Sunil Kothari's home page.
Martin Grabmueller has a tutorial implementation of algorithm W in Ha
On Fri, Jan 18, 2013 at 5:49 PM, Jan Stolarek wrote:
> Dnia piątek, 18 stycznia 2013, Petr P napisał:
> > for learning Hindley-Milner type inference algorithm I could recommend to
> > undergraduate students? The original paper is harder to understand, I'm
> > looking for something more didactic. T
Dnia piątek, 18 stycznia 2013, Petr P napisał:
> for learning Hindley-Milner type inference algorithm I could recommend to
> undergraduate students? The original paper is harder to understand, I'm
> looking for something more didactic. The students are familiar with the
> lambda calculus, natural d
I also agree that Cardelli paper is great.
It was also very useful for me to follow Python implementation provided in the
following blog post:
http://www.smallshire.org.uk/sufficientlysmall/2010/04/11/a-hindley-milner-type-inference-implementation-in-python/
I found it useful to investigate in
2013/1/18 Petr P :
> Dear Haskellers,
>
> could somebody recommend me study materials for learning Hindley-Milner type
> inference algorithm I could recommend to undergraduate students? The
> original paper is harder to understand, I'm looking for something more
> didactic. The students are famil
Dear Haskellers,
could somebody recommend me study materials for learning Hindley-Milner
type inference algorithm I could recommend to undergraduate students? The
original paper is harder to understand, I'm looking for something more
didactic. The students are familiar with the lambda calculus,
