- Enseignant: Guillaume Blin
- Enseignant: Rohan Fosse
- Enseignant: Thomas Place
- Enseignant: Aurelien Esnard
- Enseignant: Jean-Philippe Domenger
- Enseignant: Francois Dross
- Enseignant: Stefka Gueorguieva
- Enseignant: Pierre Jacob
- Enseignant: Guy Melancon
- Enseignant: Marc Zeitoun
- Enseignant: Pierre Bonnet
- Enseignant: Philippe Duchon
- Enseignant: Aurelien Esnard
- Enseignant: Ali Larbi
- Enseignant: Clement Legrand
- Enseignant: Frederic Mazoit
- Enseignant: Nicolae Tanasa
- Enseignant: Zoe Varin
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: Alexandre Blanche
- Enseignant: Frederique Carrere
- Enseignant: Henri Derycke
- Enseignant: Irene Durand
- Enseignant: Aurelien Esnard
- Enseignant: Stefka Gueorguieva
- Enseignant: Rupayan Mallick
- Enseignant: Victor Nador
- Enseignant: Vincent Penelle
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: Simon Archipoff
- Enseignant: Frederique Carrere
- Enseignant: Irene Durand
- Enseignant: Stefka Gueorguieva
- Enseignant: Thomas Place
- Enseignant: David Renault
- Enseignant: Frederique Carrere
- Enseignant: Pierre Casteran
- Enseignant: Philippe Duchon
- Enseignant: Irene Durand
- Enseignant: Silvia Pagliarini
- Enseignant: Theo Pierron
- Enseignant: Thomas Place
- Enseignant: Bernard Serpette
- Enseignant: Marc Zeitoun
- Enseignant: Carole Blanc
- Enseignant: Guillaume Blin
- Enseignant: Emmanuel Fleury
- Enseignant: Rohan Fosse
- Enseignant: Alain Griffault
- Enseignant: Edwige Gros
- Enseignant: Francois Pellegrini
- Enseignant: Luc Pomme-Cassierou
- Enseignant: Mikhail Raskin
- Enseignant: Raluca Uricaru
- Enseignant: Marc Andre Gaudet
- Enseignant: Amelie Perret
- Enseignant: Erkki Ahlstrom
- Enseignant: Marthe Ambroise
- Enseignant: Suibhne Blaix
- Enseignant: Dirk Clara
- Enseignant: Sandrine Ferre
- Enseignant: Sara Garfield
- Enseignant: Rohan Garwood
- Enseignant: Karine Goyer
- Enseignant: Anne-Claire Harrison
- Enseignant: Ruth Holloway
- Enseignant: Jonathan Lewis
- Enseignant: Jeni Peake
- Enseignant: Virginie Piga-Gueho
- Enseignant: Joanne Plaskett
- Enseignant: Catherine Poutiers-Peytureau
- Enseignant: Florian Reche
- Enseignant: April Sanders
- Enseignant: Marie Simon
- Enseignant: Haude Theoden Palanque
- Enseignant: Karine-Natalia Traverse
- Enseignant: Deirdre Williams