Rex L. Page, Carl Eastlund, Matthias Felleisen. Functional programming and theorem proving for undergraduates: a progress report. In Frank Huch, Adam Parkin, editors, Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008. pages 21-30, ACM, 2008. [doi]
Abstract is missing.