Matthew Fluet Mike Rainey John H. Reppy Adam Shaw Yingqi Xiao Manticore: a heterogeneous parallel language. 37-44 2007 DAMP http://doi.acm.org/10.1145/1248648.1248656 conf/popl/2007damp db/conf/popl/damp2007.html#FluetRRSX07