Sorry for the multiple posts, last time I try to write any decent length email from my phone...<div><br></div><div>Anyways, and that was &quot;a tutorial&quot; not &quot;an introduction&quot;. I am also reading his &quot;The Implementation of Functional Programming Languages&quot;. But in any case, I&#39;m liking these books a lot! It&#39;s super interesting and everything but a little out of date. Does anyone know of books that cover a similar subject matter but are more current?</div>
<div><br></div><div>To summarize, books that go from compiling a high level language to lambda calculus and/or the theory behind lambda calculus and similar?</div><div><br></div><div>Thank you so much!</div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Sat, Dec 8, 2012 at 4:32 PM, Danny Gratzer <span dir="ltr">&lt;<a href="mailto:danny.gratzer@gmail.com" target="_blank">danny.gratzer@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<p>Hello,<br>
Sorry in advance for the soft question:<br>
Recently I have been studying more about how a lazy functional language is designed and compiled and have been reading Peyton-Jones&#39;s book &quot;implementing functional languages: an introduction&quot;</p>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>Danny Gratzer<br>
</div>