Index of modules


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).