Advanced Functional Programming: Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures / Edition 1

by S. Doaitse Swierstra, Pedro R. Henriques, Jose N. Oliveira

Overview

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.

Product Details

ISBN-13:	9783540662419
Publisher:	Springer Berlin Heidelberg
Publication date:	08/13/1999
Series:	Lecture Notes in Computer Science , #1608
Edition description:	1999
Pages:	298
Product dimensions:	6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

Sorting Morphisms.- Generic Programming.- 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.