Abstract FR:

Les langages de programmation fonctionnels ont recu a la fois l'heritage informatique des langages de programmation et l'heritage de la logique mathematique. Le langage ml, qui est l'objet de ce travail est un langage fonctionnel avec une syntaxe tres proche de celle du langage mathematique et possede un systeme de types tres evolue. Ce travail presente les algorithmes de typage et compilation utilises dans l'implementation du langage caml. Se presentent des extensions au systeme de types de ml, des algorithmes de compilation bases sur la machine abstraite categorique cam et des algorithmes de compilation de l'appel par filtrage conduisant a l'obtention de code machine optimal pour cette structure de controle du langage