ML for the working programmer
Material type:
TextPublication details: Cambridge : Cambridge University Press, 1996Edition: 2nd edDescription: xviii, 476 p. : il. ; 25 cmISBN: - 9780521565431
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.3.ML PAU (Browse shelf(Opens below)) | Available | DIF-04297 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
| D.3.LIS TOU LISP : introducción al cálculo simbólico | D.3.LIS WIN LISP | D.3.LOG LOG LOGO : la tortuga inteligente | D.3.ML PAU ML for the working programmer | D.3.MOD FOR Modula-2 : a software development approach | D.3.MOD FOR Modula-2 : a software development approach | D.3.MOD GLE Modula-2 for Pascal programmers |
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.
Click on an image to view it in the image viewer