[TYPES] Looking for a type system

[Joshua Dunfield]

2008/10/24 David Rajchenbach-Teller <David.Teller at ens-lyon.org>:
> On Tue, 2008-10-21 at 12:38 +0200, David Rajchenbach-Teller wrote:
[inquiring about a type system with union types]

Belatedly:  You may also be interested in my dissertation, which
describes a type system with unions (and intersections).  The type
system itself might not be exactly what you're looking for, but the
references may be useful even so.

  http://www.cs.cmu.edu/~joshuad/papers/thesis/

Best,
-j.