Titre :
|
Programmation fonctionnelle : spécifications et applications ; Isetl, Clean, Haskell, Poly-ML
|
Auteurs :
|
Alain Couturier, Auteur ;
Gérald Jean-Baptiste, Auteur
|
Type de document :
|
texte imprimé
|
Editeur :
|
Toulouse : Cépaduès, 2003
|
ISBN/ISSN/EAN :
|
978-2-85428-608-3
|
Format :
|
572 p. / ill. / 21 x 15 cm
|
Langues:
|
Français
|
Index. décimale :
|
005.1
|
Mots-clés:
|
programmation fonctionnelle (informatique)
|
Résumé :
|
Rédigé comme support de cours, l'ouvrage décrit les fondements théoriques de la programmation fonctionnelle, l'étude de la spécification formelle et sa réalisation, ainsi que l'algorithme. Nombreux exemples utilisant divers langages (Istel, Clean, Haskell, Poly/ML).
|