[PRL] A type-based solution to the "strings problem":

William D Clinger will at ccs.neu.edu
Thu Oct 19 22:06:41 EDT 2006


> --Perhaps a fitting follow-up to yesterday's talk by Cormac...  --Mitch

The irony, as Olin observed in real time, is that Cormac
is proposing to create a brand new security problem that
would dwarf the problems he is attempting to solve.

Will



More information about the PRL mailing list