- Enseignant: Blin Guillaume
- Enseignant: Fosse Rohan
- Enseignant: Place Thomas
- Enseignant: Esnard Aurelien
- Enseignant: Domenger Jean-Philippe
- Enseignant: Dross Francois
- Enseignant: Gueorguieva Stefka
- Enseignant: Jacob Pierre
- Enseignant: Melancon Guy
- Enseignant: Zeitoun Marc
- Enseignant: Bonnet Pierre
- Enseignant: Duchon Philippe
- Enseignant: Esnard Aurelien
- Enseignant: Larbi Ali
- Enseignant: Legrand Clement
- Enseignant: Mazoit Frederic
- Enseignant: Tanasa Nicolae
- Enseignant: Varin Zoe
Cours de deuxième année de Licence Informatique.
Initiation à la programmation fonctionnelle avec OCaML comme langage support.
Fonctions comme objets de première classe
Système de types
Récursivité, récursivité terminale
Listes
- Enseignant: Blanche Alexandre
- Enseignant: Carrere Frederique
- Enseignant: Derycke Henri
- Enseignant: Durand Irene
- Enseignant: Esnard Aurelien
- Enseignant: Gueorguieva Stefka
- Enseignant: Mallick Rupayan
- Enseignant: Nador Victor
- Enseignant: Penelle Vincent
Cours de deuxième année de Licence Informatique.
Initiation à la programmation fonctionnelle avec OCaML comme langage support.
Fonctions comme objets de première classe
Système de types
Récursivité, récursivité terminale
Listes
- Enseignant: Archipoff Simon
- Enseignant: Carrere Frederique
- Enseignant: Durand Irene
- Enseignant: Gueorguieva Stefka
- Enseignant: Place Thomas
- Enseignant: Renault David
- Enseignant: Carrere Frederique
- Enseignant: Casteran Pierre
- Enseignant: Duchon Philippe
- Enseignant: Durand Irene
- Enseignant: Pagliarini Silvia
- Enseignant: Pierron Theo
- Enseignant: Place Thomas
- Enseignant: Serpette Bernard
- Enseignant: Zeitoun Marc
- Enseignant: Blanc Carole
- Enseignant: Blin Guillaume
- Enseignant: Fleury Emmanuel
- Enseignant: Fosse Rohan
- Enseignant: Griffault Alain
- Enseignant: Gros Edwige
- Enseignant: Pellegrini Francois
- Enseignant: Pomme-Cassierou Luc
- Enseignant: Raskin Mikhail
- Enseignant: Uricaru Raluca
- Enseignant: Gaudet Marc Andre
- Enseignant: Perret Amelie
- Enseignant: Ahlstrom Erkki
- Enseignant: Ambroise Marthe
- Enseignant: Blaix Suibhne
- Enseignant: Clara Dirk
- Enseignant: Ferre Sandrine
- Enseignant: Garfield Sara
- Enseignant: Garwood Rohan
- Enseignant: Goyer Karine
- Enseignant: Harrison Anne-Claire
- Enseignant: Holloway Ruth
- Enseignant: Lewis Jonathan
- Enseignant: Peake Jeni
- Enseignant: Piga-Gueho Virginie
- Enseignant: Plaskett Joanne
- Enseignant: Poutiers-Peytureau Catherine
- Enseignant: Reche Florian
- Enseignant: Sanders April
- Enseignant: Simon Marie
- Enseignant: Theoden Palanque Haude
- Enseignant: Traverse Karine-Natalia
- Enseignant: Williams Deirdre