[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