Matthew Fluet. The manticore project. In Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold, editors, Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013. pages 1-2, ACM, 2013. [doi]
Abstract is missing.