Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton-Jones, and Satnam Singh April 2006
In FLOPS '06: Proceedings of the Eighth International Symposium on Functional and Logic Programming, to appear