Site Entries:
Main Page
Publications by type
Publications by topic
Selected papers
Contacts
On this page :
Courses
Master thesis proposals (M2)
Undergraduate project proposals
V-card:
Geolocation:
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
, and
Didier 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)
Modelling financial contracts by process algebras
Polymorphic types for XML
XML, Types, µ-calculus and solvers
Theories, tools, and paradigms for service composition and coordination
Functional Programming for GPUs
Contracts for verifying Ocsigen services
Undergraduate project proposals
Web services in CDuce.
(see
CDuce
)
Embedded CDuce.
(see
CDuce
)