DMCA

On subtyping and matching (1995)

by Luca Cardelli
Venue:In Proceedings ECOOP '95
Citations:47 - 3 self