- title:
- Functional Programming and Type Systems
Programmation fonctionnelle et systèmes de types - manager:
- François Pottier
- ects:
- 6
- period:
- 1-2
- hours:
- 48
- weeks:
- 20
- hours-per-week:
- 2.5
- language:
- English on request
- lang:
- track:
- B
- themes:
- Semantic/Languages
- order:
- 2.04
- successor:
- fun
- link:
- view
- [2.04]
- Functional Programming and Type Systems
Programmation fonctionnelle et systèmes de types
- Language:
- Period:
- 1-2.
- Duration:
- 48h (2.5h/week).
- ECTS:
- 6.
- Themes: Semantic/Languages
- Manager:
- François Pottier.
One-Line Summary
For detailed information about this course, please go to the course's page.
Aim
This course presents the principles, formalisms, and mathematical techniques that underlie many of today's typed programming languages, including OCaml, Haskell, and Rust.
Grading
Two written exams (a mid-term exam and a final exam) and one programming project are used to grade students.
Only printed course notes and hand-written notes are allowed during the written exams. Electronic devices are not allowed.
The course cannot be split.
Prerequisites
A taste for programming is recommended.
Elementary knowledge of a functional programming language, such as Haskell or OCaml, is desirable.
Elementary knowledge of operational semantics (rewriting rules, inference rules) and of the lambda-calculus is useful, but not mandatory.
Some familiarity with the Coq proof assistant is useful, but not mandatory.
Languages
The course material (slides; programming project assignment; exam assignments and solutions; etc.) is written in English.
The lectures are by default taught in French, but are taught in English if at least one student requests it.