책 이미지
eBook 미리보기
책 정보
· 제목 : ML for the Working Programmer (Paperback, 2 Revised edition)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9780521565431
· 쪽수 : 500쪽
· 출판일 : 1996-06-28
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9780521565431
· 쪽수 : 500쪽
· 출판일 : 1996-06-28
목차
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.
