Manuel M. T. Chakravarty Roman Leshchinskiy Simon L. Peyton Jones Gabriele Keller Simon Marlow 10-18 2007 DAMP http://doi.acm.org/10.1145/1248648.1248652 conf/popl/2007damp db/conf/popl/damp2007.html#ChakravartyLJKM07