An Imperative Object Calculus -- Basic Typing and Soundness (1995)

by Martin Abadi , Luca Cardelli
Venue:DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF ILLINOIS AT URBANA-CHAMPAIGN
Citations:8 - 2 self