Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings

Elementary strong functional programming.- Introducing computer science undergraduates to principles of programming through a functional language.- Teaching C after Miranda.- Requirements for an ideal first language.- A second year course on data structures based on functional programming.- Functional programming through the curriculum.- Experiences in teaching large scale functional programming.- Functional programming and mathematical objects.- Explaining algebraic theory with functional programs.- Inducing students to induct.- Conceptual structures for recursion.- Teaching functional circuit specification in Hydra.- Functional programming in a basic database course.- Using ?-RED as a teaching tool for functional programming and program execution.- Compiler construction using scheme.- Basic proof skills of computer science students.- The Dys-functional student.