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