Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uflorida!ukma!rutgers!rochester!hoebel
From: hoebel
Newsgroups: comp.lang.misc
Subject: Robinson article
Message-ID: <1989Apr26.224726.12558@cs.rochester.edu>
Date: 27 Apr 89 02:47:26 GMT
Organization: U of Rochester, CS Dept, Rochester, NY
Lines: 19

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
------------------------------------------------------------------