The Reasoned Schemer - Friedman, Daniel P, and Byrd, William E, and Kiselyov, Oleg

Extending the functional language Scheme with logical constructs in order to help the functional programmer think logically and the logic programmer think functionally.

The Reasoned Schemer 2005, MIT Press (MA), Cambridge

ISBN-13: 9780262562140

Trade paperback

Select