[plt-scheme] PLT Redex Workshop

On Wed, Jan 21, 2009 at 1:54 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> Hi all,
>
> I am interested in knowing more about PLT Redex. I looked at the site
> and it says in the workshop part:
> "The organizers plan to collect all articles in a book on PLT Redex
> that will consist of three parts: an introduction to reduction and
> rewriting semantics; a PLT Redex manual; and the collection of revised
> and refined workshop papers. "
>
> Is this book anywhere? In fact I am mainly interested in the
> introduction to reduction and rewriting semantics, the theory and its
> applicability. If this book was not made, is there anything like this
> online?

The book is in its final stages of editing, but I don't yet have a
final date, sorry.

> What kind of applications had PLT Redex already? [It would be
> interesting to see a list of papers which use PLT Redex, both from the
> implementors and the users perspective]

Probably the most notable is the R6RS semantics, and there are a bunch
of other models out there, too (like in the book :).

Robby