Documentation

Documentation

In pdf or wiki variants:

• UHC user manual: [pdf] [wiki]
• Other manuals
  • Shuffle: [pdf] [wiki] (under construction)
  • Text2Text: [pdf] [wiki]
• How to's
  • How to write UHC documentation: [pdf] [wiki]
  • How to experiment and play with UHC: [pdf] [wiki] (under construction)
• Internal documentation
  • UHC library pecularities: [pdf] [wiki]
  • Jazy/java backend status: [pdf] [wiki]
  • UHC structure overview: [pdf] [wiki], an adapted version of The Structure of the Essential Haskell Compiler intended to also reflect current changes to EHC
  • UHC technical manual: [pdf] [wiki] (under construction)
  • Build structurel: [pdf] [wiki] (under construction)
  • On the structure of the libraries.

Last update of documentation: 20120928 15:23

Published papers, thesis, ...

In reverse chronological order:

• A generic deriving mechanism for Haskell (accepted at Haskell Symposium 2010)
• The Architecture of the Utrecht Haskell Compiler (paper)
• Efficient Functional Unification and Substitution (paper)
• The Structure of the Essential Haskell Compiler (paper)
• Abstract Interpretation of Functional Programs using an Attribute Grammar System (paper)
• Modelling Scoped Instances with Constraint Handling Rules (paper)
• Exploiting Type Annotations (paper)
• Ruler: Programming Type Rules (paper)
• Stepping through Haskell (PhD thesis)
• Making Implicit Parameters Explicit (paper)

-- AtzeDijkstra - 24 Aug 2010