Re: [C--] This can't happen

Peter Housel <[email protected]> Mon, 16 Feb 2009 09:37:59 -0800
Newsgroups gmane.comp.lang.c--
Message-ID <1234805879.28045.5.camel@ws-shanghai>
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