Section outline

  • Lectures:

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

    Tutorials:

    • Group 1 : Ieva Petrulionytė
    • Group 2: Cristian Ene