UE 4I503 -- APS

Documents de cours

• Notes de cours: APS0
• Notes de cours: APS1
• Notes de cours: APS2
• Notes de cours: APS3

Exemples de programmes APS

Autres documents

• Petit mémo PROLOG

Examens

• Exmanen réparti 2: corrigé

Références

• HREF: Vérification de types
• LIVRE: "B. Pierce, Types and Programming Languages"
• HREF: Sémantique opérationnelle
• HREF: Sémantique opérationnelle
• LIVRE: "G. Winskel, The Formal Semantics of Programming Languages"