• In the Oxford lecture notes on generic programming, we explain the following libraries:
  • FMap.ghs for generic dictionaries, and
  • The zipper.
• XComprez. XComprez is a compressor for XML documents. For a description, see the Oxford lecture notes. We plan to further develop XComprez in the near future.
• Besides XComprez, several XML tools, such as an XML Schema-Haskell data binding and an XPath-Haskell data binding GHXpath.
• Generically inferring type isomorphisms.

For information contact info@generic-haskell.org