Project Limestone

Linear logic for resource-aware programming

Logo — Limestone with ammonite shell

Documentation

Sources

Includes examples and benchmarks from the paper.

Releases: v0.0.1 v0.0.1-2
Unstable: v0.0.2 v0.0.3 v0.0.4
Development trunk: git://git@bitbucket.org:vlopezj/limestone

Code is released under the terms of GPLv3, with some additional conditions. See LICENSE for more details.

Please report bugs to project-limestone@lopezjuan.com

© Copyright 2015 by Jean-Philippe Bernardy, Dan Rosén, Josef Svenningsson and Víctor López Juan. All rights reserved.

Limestone logo based on a photograph by Hans Braxmeier.