Robinson article

Article View: comp.lang.misc

Article #6424

#6424

From: hoebel
Date: Thu, 27 Apr 1989 02:47

19 lines
1010 bytes

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

Technical Details

Message-ID: <1989Apr26.224726.12558@cs.rochester.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!uflorida!ukma!rutgers!rochester!hoebel

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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