Entrées de Site :Sur cette page:
Enseignement
Cours
Cliquer sur le titre du cours pour acceder au contenu- Théorie du sous-typage.
Cours Master 2 "Programmation fonctionnelle et systèmes de types"
(En collaboration avec Xavier Leroy,
François Pottier ,
Yann Régis-Gianas et Didier Rémy .
Master Parisien de Recherche en Informatique (MPRI) - Programmation Avancée.
Cours de Licence d'Informatique
École Normale Supérieure de Cachan
Propositions de post-doc
- Typage des modules en Elixir
- Étude du polymorphisme pour des types enregistrement dans des langages dynamiques (duration: 14 months or more)
Propositions de stages de TER
- Extension de l'interface CDuce/OCaml aux types polymorphes.Il s'agit d'etendre l'interface entre CDuce et OCaml pour prendre en compte la nouvelle version polymorphe de CDuce.
(voir CDuce )
- Embedded CDuce. Il s'agit de reprendre et d'ameliorer l'utilisation à la PHP
de fonctions CDuce dans des fichiers XML. (voir CDuce )
|
|
