Scheme书籍推荐

The Reasoned Schemer

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

评分 8.7分

The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is

Scheme and the Art of Programming

George Springer, Daniel P. Friedman

评分 9.6分

Scheme is the fast track to getting started in programming. Its clear semantics, simple syntax, and interactive environment enable the beginning student to write sophisticated programs after just two

The Little Prover

Daniel P. Friedman, Carl Eastlund

评分 8.9分

[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with

Simply Scheme (2/e)

Brian Harvey, Matthew Wright

评分 8.6分

This lively introduction to computer science and computer programming in Scheme is for non-computer science majors with a strong interest in the subject and for computer science majors who lack prior

Essentials of Programming Languages

Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes

评分 暂无