Talks

Here are links to the slides and papers from some darcs-related work:

  1. Homotopical Patch Theory
    • Carlo Angiuli, Ed Morehouse, Daniel R. Licata, Robert Harper, ICFP 2014
  2. A Categorical Theory of Patches
    • Samuel Mimram and Cinzia Di Giusto, May 23, 2013
  3. Analysis, Modeling and Testing of Darcs Patch Theory Kernel
    • Iago Abal, 2011-06-05
  4. Where do we go from here? - Ganesh Sittampalam, 2011-04-01

    • How does Darcs fit into an increasingly Git-centric world? “If Darcs didn’t exist, it would still be worth writing today”
  5. Darcs in 2010 - Eric Kow, 2010-09-10 Where we are in 2010 and we want to go from here

  6. An introduction to darcs in french
    • Florent Becker, aimed at getting researchers at his lab interested into darcs.
  7. A formalization of darcs patch theory using inverse semigroups
    • Judah Jacobson, 2009
  8. 2009 OSU Master’s Thesis

    • “Type Correct Changes: A Safe Approach to Version Control Implementation.” Jason Dagit, 2009-03-20 The use of Haskell GADTs to make darcs code more transparent, robust and approachable
  9. Why do we continue to develop Camp? - Ian Lynagh 2008-12-02, YouTube

  10. 2008 Galois Tech Talk

    • “Type Correct Changes: A Safe Approach to Version Control Implementation.” Jason Dagit, 2008-10-09 The use of Haskell GADTs to make darcs code more transparent, robust and approachable
  11. 2008 ACM talk -“Haskell, static typing, type witnesses and darcs.” David Roundy, 2008-10-05 Introducing darcs and the type witness work

  12. 2006 CS Colloquiem Talk from OSU, 20 November 2006. “Verifying the darcs patch code.” David Roundy

  13. 2006 FOSDEM talk from February 2006. “Implementing the darcs patch formalism … and verifying it” David Roundy

    This talk covers the patch formalism and the use of GADT type witnesses to enforce patch relationships.

    There’s also a video (270M) of the talk (albeit a bit blurry) available.

  14. 2005 Haskell Workshop talk from 2005. “Darcs: Distributed Version Management in Haskell” David Roundy

    Talks about experiences of darcs with the Haskell language.

  15. 2005 CUFP talk. “The Myth and Reality of using Haskell in the ‘Real World’”. David Roundy

    Addresses experiences with finding contributors for darcs, given that it’s written in the Haskell language.

(Note: Anyone who cares to would be welcome to write better summaries…)