Conseiller scientifique de l'Institut national de recherche en informatique et automatique en 1983, Emmanuel Saint-James dirige ensuite, au GRECO de Programmation du CNRS, l'équipe META qui élabore la programmation métarécursive des langages applicatifs. Nommé maître de conférences en 1986, docteur d'Etat, il a rejoint depuis 1988 le Centre de recherche du groupe Bull et participe à différents projets ESPRIT.
La Programmation Applicative. (De Lisp A La Machine En Passant Par Le Lambda-Calcul)
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 29 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 10 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages411
- PrésentationBroché
- Poids0.64 kg
- Dimensions15,4 cm × 23,4 cm × 3,2 cm
- ISBN2-86601-355-7
- EAN9782866013554
- Date de parution01/01/1993
- CollectionLangue, raisonnement, calcul
- ÉditeurHermes Science Publications
Résumé
La programmation applicative s'adresse à toute personne désireuse de connaître les fondements de l'informatique. Chaque chapitre étudie exhaustivement un concept important de la programmation, afin d'acquérir la maîtrise des langages de programmation dits applicatifs ou fonctionnels, dont l'ancêtre commun est LISP. Commençant par une initiation à la programmation, l'ouvrage se termine par le progamme d'un interprète LISP complet, après une excursion dans son modèle mathématique, le lambda-calcul.