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

Matthias Felleisen matthias at ccs.neu.edu
Thu Oct 19 22:31:06 EDT 2006


HUH?

On Oct 19, 2006, at 10:06 PM, William D Clinger wrote:

>> --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
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl




More information about the PRL mailing list