Matthew Fluet Nic Ford Mike Rainey John H. Reppy Adam Shaw Yingqi Xiao Status report: the manticore project. 15-24 2007 conf/ml/2007 ML http://doi.acm.org/10.1145/1292535.1292539 db/conf/ml/ml2007.html#FluetFRRSX07