Status report: the manticore project (2007)

by Matthew Fluet, Nic Ford, Mike Rainey, John Reppy, Adam Shaw, Yingqi Xiao
Venue:Pages 15–24 of: Proc. of the workshop on ml