Dependent Types for Program Understanding.

Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field

Browse the full TACAS paper archive.