On Sun, 2006-08-06 at 15:39 +0200, Guillaume FORTAINE wrote: > Hello all, > > Here is a marvellous paper, thanks to fred spiessens : > > http://www.info.ucl.ac.be/~pvr/oze.pdf Guillaume: Oz-E (Spiessens & Van Roy) is really good work. It's borrowing many key ideas from E (Miller). Miller just finished his Ph.D. Guess where... shap