Functional programming and theorem proving for undergraduates: a progress report.

Rex L. Page, Carl Eastlund, Matthias Felleisen

Browse the full ICFP paper archive.