On Tue, Dec 3, 2013 at 11:10 AM, TP <paratribulations@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