UE 4I503 -- APS

Documents

• Notes de cours

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"