Combining Programming with Theorem Proving (2005)

by C Chen, H Xi
Venue:In Proceedings of the 10th International Conference on Functional Programming (ICFP05