This Presentation Brought to you Courtesy of the First ...
Combining Structural and Nominal Subtyping