Advanced Functional Programming: Third International School, AFP’98, Braga, Portugal, September 12-19, 1998, Revised Lectures

Lex Augusteijn (auth.), S. Doaitse Swierstra, José N. Oliveira, Pedro R. Henriques (eds.)3540662413, 9783540662419

This book originates from the Third Summer School on Advanced Functional Programming, held in Barga, Portugal, in September 1998. The lectures presented are targeted at individual students and programming professionals as well as at small study groups and lecturers who wish to become acquainted with recent work in the rapidly developing area of functional programming.
The book presents the following seven, carefully cross-reviewed chapters, written by leading authorities in the field: Sorting Morphisms; Generic Programming: An Introduction; Generic Program Transformation; Designing and Implementing Combinator Languages; Using MetaML: A Staged Programming Language; Cayenne: A Language with Dependent Types; Haskell as an Automation Controller.

---

Table of contents :
Front Matter….Pages –
Sorting Morphisms….Pages 1-27
Generic Programming….Pages 28-115
Generic Program Transformation….Pages 116-149
Designing and Implementing Combinator Languages….Pages 150-206
Using MetaML: A Staged Programming Language….Pages 207-239
Cayenne — A Language with Dependent Types….Pages 240-267
Haskell as an Automation Controller….Pages 268-289