Specific papers cover such subjects as proof support for general
type classes, generic proofs for combinator-based generic programs, building certifies components within FOCAL, calculating an exceptional machine, generalizing the AUGMENT combinator, a functional programming language that supports typed open programming, experiments with GHC's optimizer, disjoint forms in graphical user interfaces and a graphic functional-dataflow language.