Subtyping with Power Types (2000)

by David Aspinall
Venue:of Lecture Notes in Computer Science
Citations:6 - 0 self