+ : ∧[ Int \* Int − > Int, Real \* Real − > Real]
Int − > Int < = ∧[ Int − > Int, Real − > Real ]
Msg − > Obj1 / Msg − > Obj2 < = Msg − > ∧[ Obj1, Obj2 ]
slide
:
Intersection types -- examples