Coherence and polymorphic instantiation

• To: types
• Subject: Coherence and polymorphic instantiation
• From: andre@saul.cis.upenn.edu (Andre Scedrov)
• Date: Tue, 04 Aug 92 12:13:33 EDT
• Sender: meyer@theory.lcs.mit.edu

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 

• Prev: Embedding free CCC into SET
• Next: Regular subobjects in CCCPO
• Index(es):
  • Main
  • Thread