Lightweight Verification with Dependent Types.

Aaron Stump

Browse the full CADE paper archive.