Hindley–Milner type system - Wikipedia, the free encyclopedia - http://en.wikipedia.org/wiki...