Subtyping with Power Types (2000)

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