ML for the working programmer
Paulson, Lawrence C.
ML for the working programmer - 2nd ed. - Cambridge : Cambridge University Press, 1996 - xviii, 476 p. : il. ; 25 cm.
Incluye índice y bibliografía
1. Standard ML -- 2. Names, functions and types -- 3. Lists -- 4. Trees and concrete data -- 5. Functions and infinite data -- 6. Reasoning about functional programs -- 7. Modules -- 8. Imperative programming in ML -- 9. Writing interpreters for the lambda-calculus -- 10. A tactical theorem prover -- Bibliography.
9780521565431
DIF-M6387
LENGUAJE ML
PROGRAMACIÓN FUNCIONAL
ML for the working programmer - 2nd ed. - Cambridge : Cambridge University Press, 1996 - xviii, 476 p. : il. ; 25 cm.
Incluye índice y bibliografía
1. Standard ML -- 2. Names, functions and types -- 3. Lists -- 4. Trees and concrete data -- 5. Functions and infinite data -- 6. Reasoning about functional programs -- 7. Modules -- 8. Imperative programming in ML -- 9. Writing interpreters for the lambda-calculus -- 10. A tactical theorem prover -- Bibliography.
9780521565431
DIF-M6387
LENGUAJE ML
PROGRAMACIÓN FUNCIONAL