Hello, I recently posted a blog article containing the abstract and links to the full version of my thesis: http://blog.codersbase.com/2009/03/25/type-correct-changes-a-safe-approach-to-version-control-implementation/ A must read for anyone who is interested in hacking in the core of darcs! Thanks, Jason