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]
@inproceedings{PageEF08,
title = {Functional programming and theorem proving for undergraduates: a progress report},
author = {Rex L. Page and Carl Eastlund and Matthias Felleisen},
year = {2008},
doi = {10.1145/1411260.1411264},
url = {http://doi.acm.org/10.1145/1411260.1411264},
researchr = {https://researchr.org/publication/PageEF08},
cites = {0},
citedby = {0},
pages = {21-30},
booktitle = {Proceedings of the 2008 international workshop on Functional and declarative programming in education, FDPE@ICFP 2008, Victoria, BC, Canada, September 20 - 28, 2008},
editor = {Frank Huch and Adam Parkin},
publisher = {ACM},
isbn = {978-1-60558-068-5},
}