[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are happy to announce our book on tools for engineering semantic models:

 Semantics Engineering with PLT Redex
 MIT Press, July 2009

The first part of the book covers reduction semantics (also known as
"evaluation context" semantics). The second part introduces the PLT
Redex tool suite for experimenting with such models. The final part
consists of a series of third-party models that illustrate the use of
PLT Redex for a wide range of examples.

For more information see the Redex website (which contains the preface
of the book, a sample syllabus, and a quick-start guide to Redex):


Matthias, Robby, and Matthew

Reply via email to