Categorical combinators, sequential algorithms, and functional programming

Categorical combinators, sequential algorithms, and functional programming

Saved in:
Bibliographic Details
Main Author : Curien Pierre-Louis (Auteur)
Format : Book
Language : anglais
Title statement : Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Edition : 2nd ed.
Published : Boston, Basel, Berlin : Birkhäuser , cop. 1993
Physical Description : 1 vol. (XX-403 p.)
Series : Progress in theoretical computer science editor Ronald V. Book
Subjects :
Langages de programmation > Sémantique
Programmation fonctionnelle (informatique)
Langages de programmation fonctionnelle
Langages formels
Description
Bibliography : Bibliogr. p. 381-394 Index
ISBN : 0-8176-3654-4
3-7643-3654-4