[racket] tutorials on using redex

Shriram just to over-communicate here, you are saying that reading and
working through PLAIV2 would help us non-PLT-professionals grok the Semantics
Engineering book?


On Sun, Nov 4, 2012 at 9:07 AM, Shriram Krishnamurthi <sk at cs.brown.edu>wrote:

> Second edition, now newer and better, currently being written (but most of
> the way there):
>
> http://www.cs.brown.edu/courses/cs173/2012/book/
>
>
> On Sun, Nov 4, 2012 at 9:55 AM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
>
>> On 2012-11-02 12:21:25 -0700, geb a wrote:
>> > I've been working with redex (a little bit) trying to work my way
>> > through "Semantics Engineering".  Is there anything resembling an
>> > idiots guide to programming languages?
>>
>> You could try reading PLAI, which is a great book and available online:
>>   http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
>>
>> Also, have you seen the Amb tutorial in the Redex docs?
>>   http://docs.racket-lang.org/redex/tutorial.html
>>
>> Cheers,
>> Asumu
>> ____________________
>>   Racket Users list:
>>   http://lists.racket-lang.org/users
>>
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
>


-- 
Grant Rettke | ACM, AMA, COG, IEEE
grettke at acm.org | http://www.wisdomandwonder.com/
Wisdom begins in wonder.
((λ (x) (x x)) (λ (x) (x x)))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121104/3c1d5114/attachment.html>