[TYPES] Looking for a type system

[David-Sarah Hopwood]

Mariangiola Dezani wrote:
> You can look at
> 
> F. Barbanera, M. Dezani-Ciancaglini and U. de' Liguoro.  Intersection  
> and Union Types: Syntax and Semantics,   Information and  
> Computation,  119:202-230,  1995.
> 
> and the references there.

Also

Giuseppe Castagna, Alain Frisch
A Gentle Introduction to Semantic Subtyping
<http://www.di.ens.fr/users/castagna/papers/icalp-ppdp05.pdf>

-- 
David-Sarah Hopwood