Found 1 document(s)
Page 1 of 1
-
The system $F_\leq$, the well-known second-order polymorphic typed $\lambda$-calculus with subtyping and bounded universal type quantification [Cardelli-Wegner 85], [Bruce-Longo 90], [Curien-Ghelli 92], [Pierce 92], [Car...