9 Jan
2008
9 Jan
'08
7:46 p.m.
On Jan 9, 2008 6:20 PM, Don Stewart
anton:
Oh dear - I'm going to have to rethink the paper I was working on, provisionally titled "In defense of arbitrary untracked effects in high assurance software." ;)
That would be an awesome paper :)
Hear, hear! Anton, if you're looking for a co-author, and you're willing to tackle the high-assurance parts, I have years of experience with arbitrary untracked effects. ;-) Graham