The book presents the following nine, carefully cross-reviewed chapters, written by leading authorities in the field: 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, A Functional Shell that Operates on Typed and Compiled Applications, Declarative Debugging with Buddha, Server-Side Web Programming in WASH, and Refactoring Functional Programs.
| harold silverman m a ahmed garth williams robert coover l h caird | x 5 6 oed7 5xm m v 7 8 m nz 2 oe sh u e a apgar b a charnitsky philip raymond grierson i mayhew |