Functional Programming Languages in Education: First International Symposium, Fple '95, Nijmegen, the Netherlands, December 4-6, 1995: Proceedings (Lecture Notes in Computer Science)

"This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995. The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages."--PUBLISHER'S WEBSITE Elementary strong functional programming....Pages 1-13 Introducing computer science undergraduates to principles of programming through a functional language....Pages 15-34 Teaching C after Miranda....Pages 35-50 Requirements for an ideal first language....Pages 51-63 A second year course on data structures based on functional programming....Pages 65-84 Functional programming through the curriculum....Pages 85-102 Experiences in teaching large scale functional programming....Pages 103-119 Functional programming and mathematical objects....Pages 121-137 Explaining algebraic theory with functional programs....Pages 139-158 Inducing students to induct....Pages 159-177 Conceptual structures for recursion....Pages 179-193 Teaching functional circuit specification in Hydra....Pages 195-214 Functional programming in a basic database course....Pages 215-229 Using π-RED as a teaching tool for functional programming and program execution....Pages 231-249 Compiler construction using scheme....Pages 251-267 Basic proof skills of computer science students....Pages 269-283 The Dys-functional student....Pages 289-309

This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction, computer architecture, computer graphics, mathematics, problem solving and the semantics of programming languages.