Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,198,345 papers from all fields of science
Search
Sign In
Create Free Account
Darcs
Known as:
David's Advanced Revision Control System
, Patch theory
, Theory of patches
Darcs is a distributed version control system created by David Roundy. Key features include the ability to choose which changes to accept from other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
35 relations
Branching (version control)
Buildbot
C++
Comparison of continuous integration software
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
An extension of a patch theory in homotopy type theory
佐藤 善紀
,
三好 博之
2015
Corpus ID: 123393404
2011
2011
Analysis , Modeling and Testing of Darcs Patch Theory Kernel
Iago Abal
2011
Corpus ID: 26885188
Darcs is a distributed version control system based on a unique algebra of patches called Patch Theory. Patch Theory was…
Expand
2010
2010
Dispositif de serrage électrostatique et procédé de fabrication dudit dispositif
성진일
,
예경환
,
오치원
,
유충렬
2010
Corpus ID: 194986775
Linvention concerne un dispositif de serrage electrostatique comprenant : une base ; une premiere couche isolante amorphe formee…
Expand
Review
2010
Review
2010
Implementing and Optimizing a Simple, Dependently-Typed Language
Michael Blaguszewski
2010
Corpus ID: 59759890
This thesis presents a compiler for the simple functional programming language LambdaPi, which includes dependent types. The…
Expand
2010
2010
Procédé et appareil de détection darcs électriques
M. Dargatz
,
Martin Fornage
2010
Corpus ID: 102757175
Linvention concerne un procede et un appareil de gestion des arcs electriques CC. Au moins une partie du procede est executee…
Expand
2006
2006
A Principled Approach to Version Control
Andres L¨oh
,
Wouter Swierstra
,
Daan Leijen
2006
Corpus ID: 14378949
. Version control systems are essential for managing the distributed development of large software projects. We present a formal…
Expand
2005
2005
Some properties of darcs patch theory
Ganesh Sittampalam
2005
Corpus ID: 96458128
This is an attempt to derive some properties of darcs patch theory. We start by specifying the “axioms” that must be true of…
Expand
2003
2003
Transforming Intra- and Interagency Processes through Advanced Models and Simulations: An Information Assurance Model
Carl W. Hunt
2003
Corpus ID: 53645625
Abstract : Collaboration among government organizations offers a venue for dramatic improvement in times of national stress. In…
Expand
2003
2003
Assistència i hospitalitat a l'edat mitjana. L'arquitectura dels hospitals catalans: del gòtic al primer renaixement.
A. Pena
2003
Corpus ID: 191213658
Donada lextensio de la present tesi doctoral, i per tal de conferir-li una estructura logica i raonada mes entenedora, esta…
Expand
1949
1949
Work Functions and Conductivity of Oxide‐Coated Cathodes
G. Mahlman
1949
Corpus ID: 98231684
The thermionic and photoelectric work functions and the temperature variation of coating conductivity have been measured for an…
Expand