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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Vene, Varmo (Editor), Uustalu, Tarmo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3622
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer Science.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.

Table of Contents:

• 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.