Coherence and polymorphic instantiation

Article View: fj.mail-lists.types

Article #4

Back to fj.mail-lists.types Previous Next

From: Andre Scedrov
Date: Tue, 04 Aug 1992 17:06

13 lines
885 bytes

Date: Tue, 4 Aug 92 11:12:24 EDT
To: bcp@dcs.ed.ac.uk
Cc: types@theory.lcs.mit.edu

Some of the issues raised in the recent message by M. Hofmann and 
B. Pierce are discussed in the paper: 

Cardelli, L, J.C. Mitchell, A. Scedrov, and S. Martini,  An Extension 
of System F with Subtyping. Extended abstract in: "Theoretical Aspects 
of Computer Software", T.Ito and A.R. Meyer (Eds.), Springer LNCS 526, 
1991, pp. 750--770. Full paper to appear in Information and Computation.  

  - Andre Scedrov

Technical Details

Message-ID: <312969@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon
From: andre@saul.cis.upenn.edu (Andre Scedrov)
Newsgroups: fj.mail-lists.types
Subject: Coherence and polymorphic instantiation
Message-ID: <312969@nttlab.ntt.JP>
Date: 4 Aug 92 17:06:55 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 13
Approved: news@nttlab.ntt