Propositions de stages au projet Cristal pour l'année 2005

Stages de Master 2eme année:

• Sémantique formelle et pré-compilation d'un sous-ensemble du langage C.
  Stage proposé par Xavier Leroy.

• Sous-typage ensembliste, polymorphisme et ordre supérieur.
  Stage proposé par Alain Frisch.

• Compilation du langage CDuce.
  Stage proposé par Alain Frisch.

• Patterns et templates.
  Stage proposé par Alain Frisch.