[TYPES] Formal treatment of intersection/union/arrow subtyping?

[Dan Smith]

On Apr 10, 2008, at 7:53 PM, gc at pps.jussieu.fr wrote:
> Dan Smith wrote:
>> - Extends lambda-sub (the simply-typed lambda-calculus with  
>> subtyping)
>> with intersection and union types.
>
> Church style or Curry style? It is quite likely to make a difference.

Curry-style, but with explicit type annotations.

--Dan