Programmation et langages

• Interprétation abstraite
• Sémantiques formelles de langages de programmation
• Programmation algébrique et logique
• Continuations: théorie et pratique
• Compléments de théorie de la compilation