Site Entries:On this page :
Teaching
Courses
Click on the course's title for a detailed description- Theory of subtyping.
Master Course "Functional Programming and type systems"
(Other teachers of the course: Xavier Leroy,
François Pottier ,
Yann Régis-Gianas , andDidier Rémy .
Master Parisien de Recherche en Informatique (MPRI) - Advanced Programming.
Computer Science graduate Course
École Normale Supérieure de Cachan
Master thesis proposals (M2)
- Advanced Typing of Map Data Structures in Elixir (3 internship subjects)
- Extending Polymorphic Type Inference for Dynamic Languages: Gradual Typing and Efficient Implementation (2 internship subjects)
- LLM-Assisted Polymorphic Type Inference for Dynamic Languages
- Gradual and Semantic Typing for Elixir's Module System (2 internship subjects)
|
|
