Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!wuarchive!zaphod.mps.ohio-state.edu!rpi!batcomputer!munnari.oz.au!brolga!uqcspe!batserver.cs.uq.oz.au!farrell
From: farrell@batserver.cs.uq.oz.au (Friendless)
Newsgroups: comp.lang.functional
Subject: Type Assignment
Message-ID: <6817@uqcspe.cs.uq.oz.au>
Date: 18 Jan 91 04:14:57 GMT
Sender: news@uqcspe.cs.uq.oz.au
Reply-To: farrell@batserver.cs.uq.oz.au
Lines: 23

Just looking through the tech report lists here, and I found this one:

CMU-CS-90-144
  Systems of Polymorphic Type Assignment in LF
  Robert Harper
  June 1990

Several formulations of type assignment for the Damas-Milner language are
studied, with a view toward their formalization in logical framework LF, and
the suitability of these encodings for direct executions by the logic
programming language Elf.

  This sounds to me like the answer to the question MMCG asked about why can't
a parameter be multiple instantiations of a polymorphic type. To get this
paper, write to

  School of Computer Science
  Carnegie Mellon University
  Pittsburgh, Pennsylvania 15213
  United States of America


John