Functional and Declarative Programming in Education 1999

A one day workshop at PLI 99, 29 September 1999


Functional and declarative programming plays an increasingly important role in computing education at all levels. The aim of this workshop is to bring together educators and others who are interested in exchanging ideas on how to use a functional or declarative programming style in the classroom.


The workshop is intended to cover a wide spectrum of functional and declarative programming techniques: Furthermore, the workshop will also cover all levels of education:


9:30 - 10:00 Straight to the Heart of Computer Science via Functional Programming 
Robert Giegerich (Bielefeld University, Germany), Ralf Hinze (Bonn University, Germany) and Stefan Kurtz (Bielefeld University, Germany)
10:00 - 10:30 Advanced programming concepts in a course on grammars and parsing 
Johan Jeuring and Doaitse Swierstra (Utrecht University, The Netherlands)
11:00 - 11:30 Declarative Programming Across the Undergraduate Curriculum 
Amr Sabry (University of Oregon, USA)
11:30 - 12:00 Plenary discussion
14:30 - 15:00 Proof-directed debugging 
Robert Harper (Carnegie-Mellon University, USA)
15:00 - 15:30 Fun-ctional programming tasks with strategic higher order 
Kris Aerts and Karel de Vlaminck (Catholic University of Leuven, Belgium)
16:00 - 16:10 Denotational Semantics for Teaching Lazy Functional Programming 
Olaf Chitil (RWTH Aachen, Germany)
16:10 - 16:30 Implementing Constructivist Ideas in Functional Programming 
Tami Lapidot, Dalit Levy and Tamar Paz (Technion, Israel)
16:30 - 17:00 Plenary discussion


The proceedings, which will contain standard presentations and abstracts of short talks, will appear as a technical report of Rice University and also at the Web site for the workshop. Attendees at the workshop will receive a copy of the proceedings.

Presenters of short talks will be able to distribute their talks via the Web site should they so wish.


Matthias Felleisen  Michael Hanus Simon Thompson
Rice University, USA RWTH Aachen, Germany University of Kent, UK
The organisers are happy to acknowledge the support of the
sponsors of this and other workshops at PLI. 
Last modified 6 August 1999.