[TYPES] Practical Foundations for Programming Languages : 2e : Requesting review

Benjamin Pierce bcpierce at cis.upenn.edu
Mon Apr 19 09:59:18 EDT 2021


It's an excellent book by a leader in the field (and goes beyond TAPL in a
number of dimensions).  Well worth owning for anybody with an interest in
this area.

    - Benjamin


On Mon, Apr 19, 2021 at 9:05 AM email at mayureshkathe.com <
email at mayureshkathe.com> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list
> ]
>
> I solicit expert opinions and reviews about the book; "Practical
> Foundations for Programming Languages" 2e by Robert Harper.
> I do own a copy of "Types and Programming Languages" by Pierce, but
> thought the book above would add to my knowledge, hence the request.
> Thank you.
>
>


More information about the Types-list mailing list