Categorical combinators, sequential algorithms, and functional programming

Categorical combinators, sequential algorithms, and functional programming

Enregistré dans:
Détails bibliographiques
Auteur principal : Curien Pierre-Louis (Auteur)
Format : Livre
Langue : anglais
Titre complet : Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Édition : 2nd ed.
Publié : Boston, Basel, Berlin : Birkhäuser , cop. 1993
Description matérielle : 1 vol. (XX-403 p.)
Collection : Progress in theoretical computer science editor Ronald V. Book
Sujets :
Langages de programmation > Sémantique
Programmation fonctionnelle (informatique)
Langages de programmation fonctionnelle
Langages formels
Description
Bibliographie : Bibliogr. p. 381-394 Index
ISBN : 0-8176-3654-4
3-7643-3654-4