On Fri, 2009-02-13 at 12:39 -0500, Norman Ramsey wrote: > The offender is almost certainly the 'generic expander'. > You'll find a short treatment in John Dias's PhD dissertation > and a longer, more formal treatment in Kevin Redwine's PhD dissertation. > The POPL submission has yet to be written. > > One certainly hopes these fine young men have placed their > dissertations on the web. Joao Dias has posted his dissertation at http://www.eecs.harvard.edu/dias/dissertation/dissertation.pdf and I have found it to be interesting reading. I am unable to locate Kevin Redwine's, however.
-Peter- _______________________________________________ Cminusminus mailing list [email protected] https://cminusminus.org/mailman/listinfo/cminusminus
