adapton.rust

Adapton in Rust

A general-purpose Incremental Computation (IC) library for Rust.

Documentation, with examples

Versions:

• The Adapton repo has the latest code version in the master branch.
• The Adapton crate for periodic "stable" releases.
• See also: A prior OCaml implementation.

Research and Development Community:

• Currently using adapton.zulipchat.com.
• The Adapton community on gitter.
• The Adapton Slack Team is open to anyone that is interested in learning more.
• The Adapton homepage gives a list of current and past project contributors.

Theory and Foundations:

• The draft Refinement types for precisely named cache locations.
• The paper Incremental computation with names, OOPSLA 2015.
• The paper Adapton: Composable, demand-driven incremental computation, PLDI 2014.