Electronic Notes in Theoretical Computer Science
URL http wwwelsevier nlloc ateen tcsvo lume html pages
Weak Behavioral Subtyping for Typ es
with Mutable Ob jects
Electronic Notes in Theoretical Computer Science
URL http wwwelsevier nlloc ateen tcsvo lume html pages
Weak Behavioral Subtyping for Typ es
with Mutable Ob jects