From: Grant Rettke (grettke at acm.org) Date: Thu Nov 6 00:10:56 EST 2008 |
|
On Wed, Nov 5, 2008 at 6:18 PM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote: > In particular, I recommend reading the first edition of EOPL, which > does some of these things in good detail (but not the translation to > C). What does the 2nd edition do well? I've already got a copy of that. I'll dig around for a first edition.
Posted on the users mailing list. |
|