Status Report: The Manticore Project (2007)

by M Fluet, N Ford, M Rainey, J Reppy, A Shaw, Y Xiao
Venue:In Proceedings of the 2007 ACM SIGPLAN Workshop on ML