[Haskell-cafe] existential quantification
carter.schonwald at gmail.com
Tue Dec 3 23:35:13 UTC 2013
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...
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
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe