Martín Abadi (UC Berkeley, Spring
'97) [Course
Page](http://pa.bell-labs.com/~abadi/UCB_CS263/home.html)
Fritz Henglein and Mads Tofte (DIKU,
Spring '97) [Course
Page](http://www.diku.dk/research-groups/topps/activities/object-theory/)
Jonathan
G. Rossie(http://www.csc.ncsu.edu/directory/bio/JRossie.html) (NCSU, Spring '97)
Covered chapters 1-8, 10, 11, 16 as part of a course on "Object-Oriented
Languages: Theory and Implementation".
Jack Wileden (UMass, Fall '96) [Course
Page](http://www-ccsl.cs.umass.edu/~jack/cs791p/)
Martín Abadi (Stanford, Fall
'94)
Short courses
Luca Cardelli (University of Technology
Sydney, Two-Weeks Course, August '97).
Martín Abadi and Luca Cardelli
(ACM State of the Art Summer School on Functional and Object-Oriented
Programming, Sobotka, Poland, Summer '96) [School
Page](http://swarog.ii.uni.wroc.pl/school/materials/)
Tutorials
Martín Abadi and Luca Cardelli
(ECOOP '97)
[Slides.pdf]
Martín Abadi and Luca Cardelli
(OOPSLA '96)
[Slides.pdf]