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

Don Stewart wrote in article <20091006031054.GB18549@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