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 <s...@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 <as...@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 gret...@acm.org | http://www.wisdomandwonder.com/ Wisdom begins in wonder. ((λ (x) (x x)) (λ (x) (x x)))
____________________ Racket Users list: http://lists.racket-lang.org/users
