Sémantique opérationnelle et typage

Supports de cours

Les notes de cours (et la feuille de règles).

Les slides :

  1. Sémantique opérationnelle
  2. Typage
  3. Typage (suite)

Les travaux dirigés :

  1. Évaluation et réduction dans le langage IMP
  2. Inférence de type et évaluation en mini-ML
  3. Types principaux en mini-ML

Bibliographie

Sémantique opérationnelle :

Typage :

Autres supports

Liens