Re: [Haskell-cafe] existential quantification

yeah, its not an introductory text, but it is a great grad level reference. (nb: i read a draft a few years ago, haven't read the published version... yet) On Tue, Dec 3, 2013 at 1:36 AM, Kim-Ee Yeoh wrote:

On Tue, Dec 3, 2013 at 11:10 AM, TP wrote:

...

I would like a good "entry point" in the textbook literature. Not for experts. Are the books of Robert Harper suitable, for example

http://www.amazon.com/Practical-Foundations-Programming-Languages-Professor/...

There's a draft copy on Harper's home page you can check out.

It's primarily a textbook for CS graduate students entering the specialization of PL.

-- Kim-Ee

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe