Re: [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review
Benjamin Pierce <[email protected]> Mon, 19 Apr 2021 09:59:18 -0400
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CABgF7-MM2UxGct7wz5Ji+oQshBJtRfsuH3yBCC-c-mm_GxYs1A@mail.gmail.com> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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-4S4vSiQJ6JoQsIvi67EU1QC/[email protected] <
email-4S4vSiQJ6JoQsIvi67EU1QC/[email protected]> 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.
>
>