Formal properties of the Hindley-Milner type system. Unpublished notes (1995)

by Mark P Jones