ML for the working programmer
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Cambridge :
Cambridge University Press,
1996
|
| Edición: | 2nd ed. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye índice y bibliografía |
| Descripción Física: | xviii, 476 p. : il. ; 25 cm. |
| ISBN: | 9780521565431 |
Tabla de Contenidos:
- 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.