A Theory of Objects by MartinAbadi and LucaCardelli. Springer, ISBN: 0-387-94775-2 .
See http://lucacardelli.name/TheoryOfObjects.html for a table of contents.
Theory Of Objects
last modified: November 15, 2007
A Theory of Objects by MartinAbadi and LucaCardelli. Springer, ISBN: 0-387-94775-2 .
See http://lucacardelli.name/TheoryOfObjects.html for a table of contents.