An example of using the Hindley-Milner type inference algorithm

From Hans Hüttel  

views comments