Supporting dependently typed functional programming with testing and user-assisted proof automation (2009)

by S Wilson, J Fleuriot, A Smaill
Venue:The Third International Conference on Tests and Proofs