Back to Results
First PageMeta Content



Mergeable persistent data structures Benjamin Farinier1 , Thomas Gazagnaire2 and Anil Madhavapeddy2 1: ENS Lyon 2: University of Cambridge
Add to Reading List

Document Date: 2015-01-26 09:26:10

Open Document

File Size: 266,20 KB

Share Result on Facebook

/

Facility

Irmin store / University of Cambridge thomas.gazagnaire@cl.cam.ac.uk anil.madhavapeddy@cl.cam.ac.uk Abstract Irmin / Core library / /

IndustryTerm

application developer / version-control systems / software projects / higher-level algorithms / binary search tree / binary search / large software stacks / distributed applications / /

Organization

University of Cambridge thomas.gazagnaire@cl.cam.ac.uk anil.madhavapeddy@cl.cam.ac.uk Abstract Irmin / /

Position

proof assistant / /

Technology

functional programming / RAM / instance using SHA algorithms / html / higher-level algorithms / API / /

URL

http /

SocialTag