Semi-Automatic Verification of Purely Functional Programs
Undergraduate thesis
Joshua Dunfield
PostScript
Joshua Dunfield