Lecture 1: Operational semantics and reduction strategies
Teacher: François Pottier
Functional Programming and Type Systems (M2 MPRI)
Lecture 2: Verified Interpreters
Teacher: François Pottier
Lecture 3: Closure conversion, Defunctionalization
Teacher: François Pottier
Lecture 4: Continuation Passing Style
Teacher: François Pottier
Lecture 5: Functional programming
Teacher: Didier Remy
Proof of programs with Why3
Teacher: François Bobot
[Why3 Project] Computational Reals
Github Repo Report
[Functional Programming Project] Compiling simply typed λ-calculus to Categories: Automatic Differentiation
Functional programming MPRI project (teachers: Yann Régis-Gianas, François Pottier, Pierre-Évariste Dagand and Didier Rémy), about compiling simply typed...