Manuel M. T. Chakravarty Gabriele Keller More types for nested data parallel programming. 94-105 2000 ICFP http://doi.acm.org/10.1145/351240.351249 db/conf/icfp/icfp2000.html#ChakravartyK00