
20 Apr
2012
20 Apr
'12
7:31 p.m.
On Fri, Apr 20, 2012 at 12:56, Edward Z. Yang
So, it would be pretty interesting if we could have an ST s style mechanism, where the data structure is not allowed to escape. But I wonder if this would be too cumbersome for anyone to use.
Isn't this what monadic regions are for? -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms