Prev Up Next
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


    Prev Up Next