Shriram just to over-communicate here, you are saying that reading and working through PLAIV2 would help us non-PLT-professionals grok the <span style="font-family:arial,sans-serif;font-size:13px">Semantics Engineering book?</span><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sun, Nov 4, 2012 at 9:07 AM, Shriram Krishnamurthi <span dir="ltr">&lt;<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Second edition, now newer and better, currently being written (but most of the way there):<div><br></div><div><a href="http://www.cs.brown.edu/courses/cs173/2012/book/" target="_blank">http://www.cs.brown.edu/courses/cs173/2012/book/</a><br>


</div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Nov 4, 2012 at 9:55 AM, Asumu Takikawa <span dir="ltr">&lt;<a href="mailto:asumu@ccs.neu.edu" target="_blank">asumu@ccs.neu.edu</a>&gt;</span> wrote:<br>



<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">On 2012-11-02 12:21:25 -0700, geb a wrote:<br>
&gt; I&#39;ve been working with redex (a little bit) trying to work my way<br>
&gt; through &quot;Semantics Engineering&quot;.  Is there anything resembling an<br>
&gt; idiots guide to programming languages?<br>
<br>
You could try reading PLAI, which is a great book and available online:<br>
  <a href="http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/" target="_blank">http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/</a><br>
<br>
Also, have you seen the Amb tutorial in the Redex docs?<br>
  <a href="http://docs.racket-lang.org/redex/tutorial.html" target="_blank">http://docs.racket-lang.org/redex/tutorial.html</a><br>
<br>
Cheers,<br>
Asumu<br>
____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</blockquote></div><br></div>
</div></div><br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>Grant Rettke | ACM, AMA, COG, IEEE<br><a href="mailto:grettke@acm.org" target="_blank">grettke@acm.org</a> | <a href="http://www.wisdomandwonder.com/" target="_blank">http://www.wisdomandwonder.com/</a><br>
Wisdom begins in wonder.<br>((λ (x) (x x)) (λ (x) (x x)))<br>
</div>