che-chandler.de

The Little Schemer, fourth edition

The notion that 'thinking about computing is one of the most exciting things the human mind can d...

Little Prover

An introduction to writing proofs about computer programs, written in an accessible question-and-...

A Little Java, A Few Patterns

Java is a new object-oriented programming language that was developed by Sun Microsystems for pro...

Programming Languages and Systems

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESO...

Semantics Engineering with PLT Redex

The first comprehensive presentation of reduction semantics in one volume, and the first tool set...

How to Design Programs

This introduction to programming places computer science in the core of a liberal arts education....

How to Design Programs, second edition

Seasoned Schemer

The notion that "e;thinking about computing is one of the most exciting things the human mind...

Realm of Racket

The Seasoned Schemer, second edition

The notion that 'thinking about computing is one of the most exciting things the human mind can d...