Cursus | Sigle | Intitulé | Responsable | Divers |
L3 | PF5 | Programmation Fonctionnelle | P. Letouzey | |
M2 LMFI | PFCoq | Programmation Fonctionnelle et Preuves Formelles en Coq | P. Letouzey | |
M1 | PFAv | Programmation Fonctionnelle Avancée | P. Letouzey | |
M2 | TraP | Transformation de Programmes | P. Letouzey | |
M2 | PComp | Programmation Comparée | H. Férée, A. Guatto, P. Letouzey |
Cursus | Sigle | Intitulé | ||
M1 | PAO | Preuves Assistées par Ordinateur |