[Haskell-cafe] existential quantification

[Carter Schonwald]

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 <ky3 at atamo.com> wrote:

>
> 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
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20131203/0f237cda/attachment.html>