Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

ISBN-13: 9783540285403 / Angielski / Miękka / 2005 / 362 str.

Varmo Vene;Tarmo Uustalu

Opis

Presents nine revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. This book includes the following lectures: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, And Combining Datatypes and Effects.

Spis treści

Typing Haskell with an Attribute Grammar.- Programming with Arrows.- Epigram: Practical Programming with Dependent Types.- Combining Datatypes and Effects.- GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.- A Functional Shell That Operates on Typed and Compiled Applications.- Declarative Debugging with Buddha.- Server-Side Web Programming in WASH.- Refactoring Functional Programs.