[Adapton](http://adapton.org) in Rust [![Travis](https://api.travis-ci.org/Adapton/adapton.rust.svg?branch=master)](https://travis-ci.org/Adapton/adapton.rust)
====================================================================================
A general-purpose **Incremental Computation** (IC) library for Rust.
**Quickstart:** See **[Adapton Lab](https://github.com/Adapton/adapton-lab.rust)**
Versions:
---------
- The repo [https://github.com/Adapton/adapton.rust](https://github.com/Adapton/adapton.rust) has the latest, in `dev` and `master` branches.
- (The `master` branch is intended to be "stable", e.g., for external libraries).
- The **latest development** is always in branch [dev](https://github.com/Adapton/adapton.rust/tree/dev).
- Older Rust versions are [available on crates.io](https://crates.io/crates/adapton).
- See also: A prior [OCaml implementation](https://github.com/plum-umd/adapton.ocaml).
Research and Development Community:
--------------------------------------
- The [Adapton Slack Team](http://adapton-public.slack.com) is open to anyone that is interested in learning more.
- If you are interested in joining this Slack team, send mail to `matthew.hammer@colorado.edu` for an invite.
- For a list of current and past contributors, see [The Adapton Homepage](http://adapton.org)
Theory and Foundations:
-----------------------
- The draft [_Typed Adapton: Refinement types for nominal memoization_, Submitted.](https://arxiv.org/abs/1610.00097).
- The paper [_Incremental computation with names_, **OOPSLA 2015**](http://arxiv.org/abs/1503.07792).
- The paper [_Adapton: Composable, demand-driven incremental computation_, **PLDI 2014**](http://matthewhammer.org/adapton/).
More info: **[Adapton Lab](https://github.com/Adapton/adapton-lab.rust)**
-------------------------------------------------------------------------