FDPE 2002 Proceedings

The proceedings of the International Workshop on Functional and Declarative Programming in Education (FDPE 2002) have been published as Technical Report No. 0210 of the University of Kiel. Below are links to the (gzipped) Postscript files of the individual contributions.

Title and Preface

Manuel M. T. Chakravarty and Gabriele Keller: The Risks and Benefits of Teaching Purley Functional Programming in First Year

Koen Claessen and Gordon J. Pace: An Embedded Language Approach to Teaching Hardware Compilation

Matthias Felleisen, Robert B. Findler, Matthew Flatt, and Shriram Krishnamurthi: The Structure and Interpretation of the Computer Science Curriculum

Dávid Hanák, Tamás Benkő, Péter Hanák, and Péter Szeredi: Computer Aided Exercising in Prolog and SML

Peter B. Henderson: Functional and Declarative Languages for Learning Discrete Mathematics

Jerzy Karczmarczuk: Functional Low-level Interpreters

Christoph Lüth: Haskell in Space

John Peterson: A Language for Mathematical Visualization

John Peterson and Paul Hudak: Using Music to Teach Computation and Mathematics in Secondary Education

Mirko Rahn and Johannes Waldmann: The Leipzig autotool System for Grading Student Homework

Sylvia da Rosa: The Role of Discrete Mathematics and Programming in Education

Peter Van Roy and Seif Haridi: Teaching Programming with the Kernel Language Approach

Fritz Ruehr: Deconstructing Factorial

Joăo Saraiva: HaLex: A Haskell Library to Model, Manipulate and Animate Regular Languages

Christelle Scharff and Andrew Wildenberg: Teaching Discrete Structures with SML

Eugene Wallingford: Functional Programming Patterns and Their Role in Instruction

Michael Hanus