ML for the working programmer

Título:

ML for the working programmer

Autor:

Paulson, Lawrence C.

Colaboradores:

Temas:

LENGUAJE ML ; PROGRAMACIÓN FUNCIONAL ; 

Edición:

2nd ed.

Localización electrónica:

Descripción física:

xviii, 476 p.:il. ; 25 cm.

ISBN:

9780521565431

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

Cambridge : Cambridge University Press, 1996

Nota general:

Incluye índice y bibliografía

Puede solicitar más fácilmente el ejemplar con: D.3.ML PAU

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.