Section outline

  • Lectures:

    • Frédéric Lang (semantics)
    • Laurent Mounier (type checking, code optimization, code generation)

    Tutorials:

    • Group 1: Cristian Ene
    • Group 2: Bruno Ferres