FDPE02 accepted papers
FDPE02 is a
one day workshop at PLI'02,
Monday 7 October 2002
Full papers
- Teaching Programming with the Kernel Language
Approach, Peter Van Roy (Universite Catholique de Louvain) and Seif Haridi
(KTH, Stockholm)
- The Structure and Interpretation of the Computer Science
Curriculum,
Matthias Felleisen (Northeastern University), Robert Bruce Findler (Northeastern University), Matthew Flatt
(University of Utah), Shriram Krishnamurthi (Brown University)
- A Language for Mathematical Visualization, John Peterson (Yale
University)
- Functional Low-Level Interpreters, Jerzy Karzmarczuk (University
of Caen)
- An Embedded Language Approach to Teaching Hardware Compilation,
Koen Claessen (Chalmers University of Technology) and Gordon Pace (INRIA)
- The Pros and Cons of Teaching Purely Functional Programming in First
Year, Manuel Chakravarty and Gabrielle Keller (University of New South
Wales)
Short papers
- The Leipzig Autotool System for Grading Student Homework, Mirok
Rahn and Johannes Waldmann (University of Leipzig)
- Deconstructing Factorial, Fritz Ruehr (Williamette University)
- HaLeX: A Haskell Library to Model, Manipulate and Animate Regular
Languages, Joao Saraiva (University of Minho)
- Functional Programming Patterns and Their Role in Instruction, Eugene Wallingford
(University of Northern Iowa)
- Assessment of Students in a Declarative Programming Course; Tools and
Techniques in Teaching Prolog and SML, Tamas
Benko, David Hanak, Peter Hanak and Peter Szeredi (Budapest University of
Technology and Economics)
- Using Music to Teach Computation and Mathematics in Secondary
Education, John Peterson (Yale University)
- Haskell in Space Christoph Luth (University of Bremen)
Mini-symposium on Declarative Programming and Discrete Mathematics
- Functional and Declarative Languages for Learning Discrete
Mathematics Peter Henderson (Butler University)
- The Role of Discrete Mathematics and Programming in Education
Sylvia da Rosa (Universidad de la Republica, Montevideo)
- Teaching Discrete Structures with SML Christell Scharff (Pace
University) and Andy Wildenberg (SUNY)
21 August 2002