Front Cover -- Preliminary Pages -- Contents -- Proof Support for General Type Classes -- Introduction -- Sparkle -- Preliminaries -- Structural induction -- Induction on instances -- Multiple class constraints -- Implementation -- Related and future work -- Conclusion -- References -- Generic Proofs for Combinator-based Generic Programs -- Introduction -- `Boilerplate' combinators as generic functions -- Generic proofs for `boilerplate' combinators -- A proof of the fusion law for gmapT -- A theorem about occurs -- A fusion law for everywhere -- Conclusions and further work -- Proof of lemma 2.1 -- Proof of lemma 2.2 -- Proof of lemma 2.3 -- Proof of theorem 2.5 (continued) -- References -- Building certified components within focal -- Introduction -- focal requirements and design principles -- Overview of focal -- A complete example -- Compiling -- Applications -- Related work -- Conclusion and future work -- References -- Calculating an Exceptional Machine -- Introduction -- Abstract machines -- Arithmetic expressions -- Adding exceptions -- Further work -- References -- Generalizing the augment Combinator -- Introduction -- Semantics of fold/build -- The augment of free monads -- A generalized augment combinator -- Conclusion and future work -- References -- Alice Through the Looking Glass -- Introduction -- Futures -- Higher-order modules -- Packages -- Components -- Decomposing components -- Distribution -- Implementation -- Related work -- Outlook -- References -- Experiments with GHC's Optimiser -- Introduction -- Contributions of the paper -- The setup -- The method -- Evaluation -- Related work -- Conclusions -- References -- Disjoint Forms in Graphical User Interfaces -- Introduction -- FunctionalForms summary -- Combinators for disjoint forms -- Implementation -- Safety -- Related work -- Conclusions and future work -- References.

A Graphic Functional-Dataflow Language -- Introduction -- Outline of the NiMo language -- The NiMo environment -- Current state and future work -- Concluding remarks -- References -- Back Cover.