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/">http://www.cs.brown.edu/courses/cs173/2012/book/</a><br>

</div><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>