Re: types as set of values

• To: Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
• Subject: Re: types as set of values
• From: Uwe.Nestmann@EPFL.ch
• Date: 03 Apr 2003 16:45:00 +0200
• Cc: types@cis.upenn.edu
• In-Reply-To: <200304031302.h33D2BrB011490@saul.cis.upenn.edu>
• References: <200304031302.h33D2BrB011490@saul.cis.upenn.edu>
• Sender: uwe@lamppc29.epfl.ch
• User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3

>>>>> "GC" == Giuseppe Castagna <Giuseppe.Castagna@ens.fr> writes:

GC>    interpreting a type of a language as the set of the _values_ of the
GC> language that have that type is an idea that belongs to the type
GC> folklore. I am trying to trace back this idea, and the oldest paper I
GC> was able to find that mentions it is the Amadio and Cardelli paper on
GC> subtyping recursive types, but I am pretty sure that older references
GC> must exist. Has anyone a better (i.e. older) reference?


You find links to older references on
http://doi.acm.org/10.1145/512927.512938
of the paper "Types are not sets" :-)


One by Reynolds apparently of 1969 ...


== Uwe ==

• Prev: FMCO 2003: Call for Participation
• Next: RE: types as set of values
• Index(es):
  • Main
  • Thread