Re: 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 Martin Abadi Wed, 05 Aug 1992 16:09

Author: Martin Abadi
Date: Wed, 05 Aug 1992 16:09

9 lines
759 bytes

Date: Tue,  4 Aug 92 13:32:53 PDT

This issue can be considered in Fsub, as Andre points out, but it 
already arises in F.  John Mitchell studied the theories where 
any two terms with the same type and the same erasure are equated; 
he proved that any such theory corresponds to some PER model.  (See 
p. 208 in "Logical Foundations of Functional Programming", ed. Huet.)

Martin Abadi

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