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