A | |
| Ast [O] | |
| Ast [I] | |
| Ast [T] |
Les termes de la syntaxe abstraite typée
|
| Ast [S] |
Types des arbres de syntaxe abstraite
|
C | |
| Check |
Vérification de type
|
| Code |
Le code de la machine abstraite pour PCF
|
| Compiler |
Un compilateur pour la machine
Machine.
|
E | |
| Env |
Environnements simples (listes d'associations)
|
| Eq |
Équations du premier ordre et leur résolution
|
| Eval |
Évaluation de PCF (TD 2)
|
H | |
| Hindley |
Inférence de type, types simples.
|
I | |
| I |
PCF impératif
|
| Ia32 |
Simple compiler to ia32 assembler, see also zyva.ml in distribution
|
| Inter |
Un interpréteur pour PCF
|
M | |
| Machine |
La machine ASEC du cours
|
O | |
| O |
PCF objet
|
| Op |
Opérateurs de PCF
|
P | |
| Poly |
Inférence de type polymorphe
|
R | |
| Reader [O] | |
| Reader [I] | |
| Reader [T] |
Lecteur des termes de PCF typé, comme
S.Reader
|
| Reader [S] |
Lecture des termes PCF
|
S | |
| S |
PCF simple
|
T | |
| T |
PCF explicitement typé
|
| Top [O] |
Boucle interactive pour PCF + objets, comme
S.Top.
|
| Top [I] | |
| Top [T] |
Boucle interactive pour PCF typé, voir aussi
S.Top
|
| Top [S] |
Boucle interactive pour PCF
|
| Type [T] |
Types des types
|
V | |
| Var |
Variables (des chaînes)
|
| Vars [Eq] |
Ensembles de variables de types (ensembles de
int, donc).
|
| Vars [Var] |
Ensembles de variables (ensembles de
string, donc).
|