Home » forums » LtU Forum

Selfish reference begging

Hi,
I am looking everywhere for the proofs of the correctness and completeness of the Hindley-Milner type inference algorithm.

I could only find this short paper,
Principal type-schemes for functional program, by Damas and Milner, which gives only sketches of the proofs, and inform the reader that the detailed proofs are in Damas's Ph.D. thesis, titled Type Assignment in Programming Language, that I cannot find anywhere.

I would be grateful if anyone could point me to these proofs.

R.K.

By kilrati at 2005-10-20 03:59 | LtU Forum | previous forum topic | next forum topic | other blogs | 6214 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Mitchell

Try Chapter 11 of John C. Mitchell, "Foundations of Programming Languages", MIT Press, 2000.

By Frank Atanassow at Thu, 2005-10-20 06:36 | login or register to post comments