[Haskell-cafe] Re: Finally tagless - stuck with implementation?of?"lam"

[Chung-chieh Shan]

Don Stewart <dons at galois.com> wrote in article <20091006031054.GB18549 at whirlpool.galois.com> in gmane.comp.lang.haskell.cafe:
> ccshan:
> > (Section 5 of our (JFP) paper addresses both CBN and CBV.)
> Do you have a link to the paper?

Sorry, here it is.
http://www.cs.rutgers.edu/~ccshan/tagless/jfp.pdf

-- 
Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig
Here's a souvenir of it. He made me write this down so I'd remember
to get this book and read it. Transcendent Speculations on Apparent
Design in the Fate of the Individual, that's a mouthful isn't it. I
wrote this down at gun-point. - Gaddis