>_
Anil Madhavapeddy
@avsm
/
About
Projects
Ideas
Papers
Notes
Talks
Network
Links
Subscribe
Atom
full
JSON Feed
full
Atom
perma
JSON Feed
perma
>_
Anil Madhavapeddy
About
Projects
Ideas
Papers
Notes
Talks
Network
Links
>_
5 on this site · 0 links
On this site
relevance
date
5
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
1st Nov 2020
#conference
#distributed
#fp
#irmin
#mirageos
An architecture for interspatial communication
1st Apr 2018
#conference
#irmin
#mirageos
#networking
#osmose
DaLi: Database as a Library
1st May 2017
#conference
#databases
#fp
#irmin
#ocaml
Mergeable persistent data structures
1st Jan 2015
#conference
#irmin
#mirageos
#ocamllabs
#storage
Irminsule: a branch-consistent distributed library database
1st Sep 2014
#conference
#distributed
#irmin
#mirageos
#ocamllabs
