Section outline

  • Lectures:

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

    Tutorials:

    • Group 1: Alexandre Berard
    • Group 2: Cristian Ene
    • Group 3: Guilhem Lacombe