Proceedings of the 2005 workshop on Functional and declarative programming in education
ACM Digital Library