Combining programming with theorem proving.

Chiyan Chen, Hongwei Xi

Browse the full ICFP paper archive.