<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
    <title></title>
  </head>
  <body text="#000000" bgcolor="#ffffff">
    As a starting point I would suggest<br>
    Peter Sestoft : Deriving a lazy abstract machine, Journal of
    Functional Programming 7(3), 1997<br>
    ( <a class="moz-txt-link-freetext" href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4314">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4314</a> )<br>
    Different abstract machines for call-by-need evaluation are built
    starting from Launchburys natural semantics,<br>
    the alpha renaming problem is discussed and solved by using
    environments and at the end by using a nameless<br>
    representation for variables.<br>
    <br>
    Regards,<br>
    &nbsp;David<br>
    <br>
    Am 17.11.2010 22:02, schrieb David Sankel:
    <blockquote
      cite="mid:AANLkTimYrSXDttV1_i_++YxY6zUSnJHpdEqMPDkb4jya@mail.gmail.com"
      type="cite">I'm writing an interpreter for a call by need language
      and have been doing a direct implementation of the Launchbury
      semantics. My problem is that in the variable rule, an alpha
      conversion is done that, as far as I understand, is going to
      hinder any tail call optimization.
      <div>
        <br>
      </div>
      <div>I realize that the intent of Launchbury's paper is to come up
        with a theoretical framework for call by need, not to guide an
        implementation per say. Is anyone aware of any papers out there
        that go into detail on the construction of an
        actual&nbsp;interpreter?</div>
      <div><br>
      </div>
      <div>TIA,</div>
      <div><br>
      </div>
      <div>David<br clear="all">
        <br>
        -- <br>
        David Sankel<br>
        Sankel Software<br>
        <a moz-do-not-send="true" href="http://www.sankelsoftware.com">www.sankelsoftware.com</a><br>
        585 617 4748 (Office)<br>
      </div>
      <pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
Haskell-Cafe mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>