[]
readme
course(s)
preface
I
1
2
II
3
4
III
5
6
7
IV
8
9
10
V
11
12
afterthought(s)
appendix
reference(s)
example(s)
resource(s)
_
Resources
- www.research.digital.com/SRC/personal/Martin_Abadi/Luca_Cardelli_Copy/TheoryOfObjects.html -- A Theory of Objects
- www.cs.chalmers.se/Cs/Grad/courses98-99/objcal.mhtml -- Object Calculus
- progwww.vub.ac.be/papers/htmlabstracts/vub-tinf-tr-94-03.html -- A survey of formal models for OO
- progwww.vub.ac.be/papers/htmlabstracts/vub-tinf-tr-94-01.html -- Introduction to Polymorphic lambda Calcuslus with Subtyping
- www.dmi.ens.fr/users/castagna/ooResearchers.html -- People in OO Type Theory
- cuiwww.unige.ch/OSG/people/dami/Hop/types.html -- More people
[]
readme
course(s)
preface
I
1
2
II
3
4
III
5
6
7
IV
8
9
10
V
11
12
afterthought(s)
appendix
reference(s)
example(s)
resource(s)
_
(C) Æliens 04/09/2009
You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.