165
click to vote
APLAS
2009
ACM
16 years 9 days ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...