Here are links to the slides and papers from some darcs-related work:
- Homotopical Patch Theory
- Carlo Angiuli, Ed Morehouse, Daniel R. Licata, Robert Harper, ICFP 2014
- A Categorical Theory of Patches
- Samuel Mimram and Cinzia Di Giusto, May 23, 2013
- Analysis, Modeling and Testing of Darcs Patch Theory Kernel
- Iago Abal, 2011-06-05
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”
Darcs in 2010 - Eric Kow, 2010-09-10 Where we are in 2010 and we want to go from here
- YouTube version 2010-09-12
- An introduction to darcs in french
- Florent Becker, aimed at getting researchers at his lab interested into darcs.
- A formalization of darcs patch theory using inverse semigroups
- Judah Jacobson, 2009
- “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
Why do we continue to develop Camp? - Ian Lynagh 2008-12-02, YouTube
- “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
2008 ACM talk -“Haskell, static typing, type witnesses and darcs.” David Roundy, 2008-10-05 Introducing darcs and the type witness work
2006 CS Colloquiem Talk from OSU, 20 November 2006. “Verifying the darcs patch code.” David Roundy
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.
2005 Haskell Workshop talk from 2005. “Darcs: Distributed Version Management in Haskell” David Roundy
Talks about experiences of darcs with the Haskell language.
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…)