[ 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 protected] <
[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.
>
>
