Go backward to
Specification and Verification
Go up to
Lectures
Go forward to
Libraries and Standardization
Language Design or Extensions
Piccola--a Small Composition Language
Oscar Nierstrasz
Controlling Genericity
Rüdiger Loos
Generic Java--Making the Future Safe for the Past
Martin Odersky, joint work with Philip Wadler and Enno Runne
Generic Programming in SuchThat
Sibylle Schupp
Xroma: Extensible Translation
Daveed Vandevoorde
