On Feb 25, 2009, at 8:19 AM, Shriram Krishnamurthi wrote: > ... you might find it worthwhile to peruse the relevant chapter of > my PL book, PLAI (www.plai.org), or the superior EoPL > (www.google.com). Shriram's being coy. PLAI is every bit as good as EOPL. I know! He started from my lectures :-) -- Matthias