Type Assignment

Article View: comp.lang.functional

Article #750

Back to comp.lang.functional Previous Next

#750

From: Friendless
Date: Fri, 18 Jan 1991 04:14

23 lines
1192 bytes

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

Technical Details

Message-ID: <6817@uqcspe.cs.uq.oz.au>

Path:

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

Show Full Headers

Complete Article Headers

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