FDPE02 timetable

FDPE02 is a one day workshop at PLI'02, Monday 7 October 2002

9:00 Start

9-9:30 An Embedded Language Approach to Teaching Hardware Compilation, Koen Claessen (Chalmers University of Technology) and Gordon Pace (INRIA)

9:30-10:00 Functional Low-Level Interpreters, Jerzy Karzmarczuk (University of Caen)

10:00-10:30 Coffee break

10:30-11:00 Teaching Programming with the Kernel Language Approach, Peter Van Roy (Universite Catholique de Louvain) and Seif Haridi (KTH, Stockholm)

11:00-11:30 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)

11:30-12:30 Mini-symposium on Declarative Programming and Discrete Mathematics

12:30-2:00 Lunch

2:00-2:30 A Language for Mathematical Visualization, John Peterson (Yale University)

2:30-3:00 The Risks and Benefits of Teaching Purely Functional Programming in First Year, Manuel Chakravarty and Gabrielle Keller (University of New South Wales)

3:00-3:15 HaLeX: A Haskell Library to Model, Manipulate and Animate Regular Languages, João Saraiva (University of Minho)

3:15-3:30 Haskell in Space Christoph Lüth (University of Bremen)

3:30-4:00 Coffee break

4:00-4:15 Deconstructing Factorial, Fritz Ruehr (Williamette University)

4:15-4:30 Functional Programming Patterns and Their Role in Instruction, Eugene Wallingford (University of Northern Iowa)

4:30-4:45 Computer Aided Exercisiing in Prolog and SML, David Hanák, Tamás Benkó, Peter Hanák and Péter Szeredi (Budapest University of Technology and Economics)

4:45-5:00 Using Music to Teach Computation and Mathematics in Secondary Education, John Peterson (Yale University)

5:00-5:30 Closing discussion

5:30 End

5 October 2002