Advanced functional programming

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