Approches fonctionnelles de la programmation

Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative).  Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.

Disciplines : ,
Mots-clés : fuscia,Lisp,Haskell,preuve de programme
Type de ressource : lecture
Niveau : licence
Publics visés : learner
Proposition d'utilisation : Cours de Programmation Fonctionnelle donné à l'EPITA en première année du cycle Ingénieur.
Auteurs ou éditeurs : Didier Verna,Institut National de Recherche en Informatique et en Automatique