hoebel (04/27/89)
From: hoebel >The mathematical basis for polymorphic type systems comes from Robinson's >article on unification in the JACM, from around '67 (sorry, can't remember >the title). From here, there's Milner's work, the LCF system, and of course > (fanfare:) ML. I believe the correct reference is: Robinson, J.A., "A machine-oriented logic based on the resolution principle," Journal of the ACM 12(1) p23 (1965) ->Louis Hoebel Computer Science Department hoebel@cs.rochester.edu University of Rochester {allegra|rutgers}!rochester!hoebel Rochester NY 14627 716 275 5414 ------------------------------------------------------------------