[plt-scheme] Understanding PLT Redex and R6RS Formal Semantics?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Feb 19 14:58:20 EST 2009

Start by reading the introduction to the formal semantics. Then
download it and look at the README file (there are some examples in
there to get you going).

If you're interested in learning more about the style of semantics, as
background on the R6 semantics, you can start with the redex web site
and ask questions here. There is a book that should be coming out in a
few months that might also be helpful.


On Thu, Feb 19, 2009 at 1:56 PM, Grant Rettke <grettke at acm.org> wrote:
> Hi,
> I haven't got a clue as to where to even begin understanding what PLT
> Redex solves or how to use it in understanding the R6RS formal
> semantics.
> What is this area of study and where does a person start with this stuff?
> Best wishes,
> Grant
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.