| Op |
Opérateurs de PCF
|
| Var |
Variables (des chaînes)
|
| Env |
Environnements simples (listes d'associations)
|
| S |
PCF simple
|
| T |
PCF explicitement typé
|
| I |
PCF impératif
|
| O |
PCF objet
|
| Eval |
Évaluation de PCF (TD 2)
|
| Inter |
Un interpréteur pour PCF
|
| Code |
Le code de la machine abstraite pour PCF
|
| Compiler |
Un compilateur pour la machine
Machine.
|
| Machine |
La machine ASEC du cours
|
| Ia32 |
Simple compiler to ia32 assembler, see also zyva.ml in distribution
|
| Check |
Vérification de type
|
| Eq |
Équations du premier ordre et leur résolution
|
| Hindley |
Inférence de type, types simples.
|
| Poly |
Inférence de type polymorphe
|