[Prev][Next][Index][Thread]

Coherence and polymorphic instantiation



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