nuprl/adapton.rust

Name: adapton.rust

Owner: Northeastern University Programming Research Lab

Description: Nominal Adapton in Rust

Forked from: cuplv/adapton.rust

Created: 2017-05-27 04:02:39.0

Updated: 2018-03-18 15:37:07.0

Pushed: 2017-05-13 12:53:00.0

Homepage:

Size: 975

Language: Rust

GitHub Committers

User	Most Recent Commit	# Commits

Other Committers

User	Email	Most Recent Commit	# Commits

README

Adapton in Rust

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

Quickstart: See Adapton Lab

Versions:

• The repo https://github.com/cuplv/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.
  
• Older Rust versions are available on crates.io.
  
• See also: A prior OCaml implementation.
  

Research and Development Community:

• The Adapton Slack Team 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

Theory and Foundations:

• The draft Typed Adapton: Refinement types for nominal memoization, Submitted..
  
• The paper Incremental computation with names, OOPSLA 2015.
  
• The paper Adapton: Composable, demand-driven incremental computation, PLDI 2014.

More info: Adapton Lab