[Haskell-cafe] formal semantics
jays at panix.com
Sat Aug 25 22:27:18 CEST 2012
On Sat, 25 Aug 2012, Kristopher Micinski <krismicinski at gmail.com> wrote:
> On Sat, Aug 25, 2012 at 3:38 PM, Jay Sulzberger <jays at panix.com> wrote:
>> This is good. I will look at the references given in this
>> thread. The account at
>> is, I think, one part of what I was looking for.
> The book I recommend (although now I feel like a bad person because I
> haven't read all of it :-(.., is "The Implementation of Functional
> I remember finding it quite approachable, although for the immediate
> need of trying to implement *Haskell* in a verified environment, it
> might not be immediately helpful, it's really good background reading
> on the subject that will be imperative should you want to do such
> things (and written around the time when Haskell was congealing, so
> should be representative-ish of the attitudes underlying Haskell's
> design at the time: graph reduction, compiling pattern matching,
> translating high level lamda languages to core semantics).
I have read the book to page 12. So far I am swimming in waters
known to me. I think you are right: It looks to be slow and
careful, and thus just right for me.
More information about the Haskell-Cafe