Programming and Proving with Classical Types.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Browse the full APLAS paper archive.