Semantics-Driven Language Design: Statically Type-Safe Virtual Types in Object-Oriented Languages (1999)

by Kim B. Bruce , Joseph C. Vanderwaart
Venue:IN ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:26 - 3 self