Subtyping with power types (2000)

by David Aspinall
Venue:of Lecture Notes in Computer Science