From: hoebel
Subject: Robinson article
Date: Thu, 27 Apr 1989 02:47:52 +0000
Message-ID: <1989Apr26.224753.12626@cs.rochester.edu>

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 	······@cs.rochester.edu
  University of Rochester       {allegra|rutgers}!rochester!hoebel
  Rochester NY 14627            716 275 5414
------------------------------------------------------------------