3 Dec
2013
3 Dec
'13
1:36 a.m.
On Tue, Dec 3, 2013 at 11:10 AM, TP
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/...
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