Coherence and polymorphic instantiation

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Andre Scedrov Tue, 04 Aug 1992 17:06

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads