6 Sep
2009
6 Sep
'09
6:46 a.m.
On Sat, Sep 5, 2009 at 6:10 PM, John Meacham
it is currently just a simple fixpoint calculation, though a type inference based version will perform better.
Ahem. Down this path lies linear regions and alias calculi. :)
--
Taral