Related Courses


In this page we collect information about courses that have used or are using our book. Teaching material is available for some of the courses.

University courses

Elfriede Fehr, Dirk Draheim, and Dirk Pape (Freie Universität Berlin, Summer '00) [Course Page]

Vladimiro Sassone (Winter-Spring '00) [Course Page]

Gary T. Leavens (Iowa State University, Spring '00) [Course Page]

Alan Jeffrey (DePaul University, Chicago, Winter '99) [Course Page]

Byeong-Mo Chang (Sookmyung University, Seoul, Fall '99)

Fritz Henglein (DIKU, Spring '99) [Course Page](http://www.diku.dk/research-groups/topps/activities/object-theory/)

Giorgio Ghelli (Pisa) [Course Page](http://www.di.unipi.it/~ghelli/corso.html)

Sophia Drossopoulou (Imperial College, London, Fall '98) [Course Page]

Thorsten Altenkirch (LMU München, Winter '98) [Course Page]

Matthews (Saarlandes, Winter '98) [Course Page]

Rob Kremer (Calgary, Winter '98) [Course Page]

Assaf Kfoury (Boston Univ., Fall '97, Spring '98) [Course Page]

Olaf Chitil (RWTH Aachen, Summer '97) [Course Page]

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]

Luca Cardelli (PLDI '96) [Slides.pdf]