che-chandler.de

Realm of Racket

How to Design Programs

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

Semantics Engineering with PLT Redex

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

Programming Languages and Systems

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

Little Prover

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

Seasoned Schemer

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

How to Design Programs, second edition

The Seasoned Schemer

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

The Little Schemer

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

How to Design Programs

A completely revised edition, offering new design recipes for interactive programs and support fo...

Realm of Racket

Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and chal...