Theorie und Implementation objektorientierter Programmiersprachen

Literatur

Skript

[Abel/Bitterich]

Das vollständige, vorläufige Skript der Vorlesung, Mitschriften z.T. von Cyril Bitterich (Danke!): oo.pdf, oo.ps.gz oder oo.dvi.

Lehrbücher

[Pierce]

Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002.

[Bruce]

Kim B. Bruce, Foundations of Object-Oriented Languages, Types and Semantics, MIT Press, 2002.

Web-Resourcen

Das gefürchtete Lambda-Kalkül.

Eine erste Einführung in den ungetypten Lambda-Kalkül auf der Web-Seite "Das Land hinter dem Ende des Sinns".

AndreasAbel Last modified: Tue Oct 1 15:16:59 CEST 2002