Entrées de Site :Sur cette page:
V-card:
Geolocation:
V-card:
Geolocation:
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 stages de mastère M2
- Utilisation des algèbres de processus pour la modélisation de contrats financiers
- Polymorphisme pour les transformations XML
- Autour d'XML, Types, µ-calcul et solvers
- Théories, outils et paradigmes pour la composition et coodination de services.
- Programmation fonctionnelle de cartes graphiques.
- Contrats pour la vérification de services Ocsigen.
Propositions de stages de TER
- Implantation de services web en CDuce. Il s'agit de permettre d'appeler de services Web du langage de programmation CDuce et ensuite de pouvoir exporter des fonctions CDuce comme des services.
(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 )
|
|
