[Haskell-cafe] existential quantification

Kim-Ee Yeoh ky3 at atamo.com
Tue Dec 3 06:36:41 UTC 2013


On Tue, Dec 3, 2013 at 11:10 AM, TP <paratribulations at free.fr> 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/dp/1107029570
>

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131203/e40d8810/attachment.html>


More information about the Haskell-Cafe mailing list