Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Langages de programmation
Thèmes :
Programmation
,
Sémantique
–
Cursus :
MPRI - M2
2006 - 2007
Programmation concurrente et linéaire avec contraintes
Sylvain Soliman
Constraint Logic Programming I and II: Introduction, logical background, CLP operational semantics and examples
Constraint Logic Programming III and IV: operational, fixpoint and logical semantics
Concurrent Constraint Programming I: operational semantics and examples
Concurrent Constraint Programming II: denotational and logical semantics
Concurrent Constraint Programming III: linear CC, phase semantics
Handout version of all the above
Projet de programmation PROLOG
Functional programming languages
Xavier Leroy
Part I: operational semantics
Part II: abstract machines and compilation
Part III: program transformations
Part IV: monads and monadic transformations
Exercises
Some answers
Examen : sujet
Examen : corrigé
Systèmes de types
François Pottier
Présentation des cours
The Essence of ML Type Inference (EMLTI) (chapitre de Advanced Topics in Types and Programming Languages)
Version longue d'EMLTI
Rapport d'habilitation à diriger les recherches de François Pottier
Cours donné à l'APPSEM: A modern eye on ML type inference
An informal guide to picking fresh names
Examen : sujet
Examen : corrigé
Programming Project
Xavier Leroy
,
François Pottier
Description of the programming task with some source code
Description of the programming task