See also:<div><br></div><div>* STG machine in Coq,<meta http-equiv="content-type" content="text/html; charset=utf-8"><a href="http://www.cs.ox.ac.uk/files/3858/pirog-biernacki-hs10.pdf">http://www.cs.ox.ac.uk/files/3858/pirog-biernacki-hs10.pdf</a></div>
<div><br></div><div><a href="http://www.cs.ox.ac.uk/files/3858/pirog-biernacki-hs10.pdf"></a>Also<br><br></div><div>*] Jon Mountjoy. The spineless tagless G-machine, naturally.1998 ACM</div><div>SIGPLAN International Conference on Functional Programming,</div>
<div>SIGPLAN Notices, Vol. 34, No. 1, pages 163173, Baltimore,</div><div>Maryland, September 1998. ACM Press.</div><div><br><div class="gmail_quote">On Sat, Jun 11, 2011 at 4:32 PM, Thomas Schilling <span dir="ltr">&lt;<a href="mailto:nominolo@googlemail.com">nominolo@googlemail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Does Bernie Pope&#39;s <a href="http://www.haskell.org/haskellwiki/Ministg" target="_blank">http://www.haskell.org/haskellwiki/Ministg</a> work for you?<br>

<div><div></div><div class="h5"><br>
On 11 June 2011 21:19, Florian Weimer &lt;<a href="mailto:fw@deneb.enyo.de">fw@deneb.enyo.de</a>&gt; wrote:<br>
&gt; I&#39;m looking for a simple implementation of the STG machine to do some<br>
&gt; experiments, preferably implemented in something with memory safety.<br>
&gt; Performance is totally secondary. I&#39;m also not interested in garbage<br>
&gt; collection details, but I do want to look at the contents of the<br>
&gt; various stacks.<br>
&gt;<br>
&gt; _______________________________________________<br>
&gt; Haskell-Cafe mailing list<br>
&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
&gt;<br>
<br>
<br>
<br>
</div></div><font color="#888888">--<br>
Push the envelope. Watch it bend.<br>
</font><div><div></div><div class="h5"><br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>