Re: types as set of values

>>>>> "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
of the paper "Types are not sets" :-)

One by Reynolds apparently of 1969 ...

== Uwe ==