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
|