Skip to content

Instantly share code, notes, and snippets.

@nanne007

nanne007/theories supporting rust

Created September 15, 2014 03:28
Show Gist options
  • Save nanne007/404fceb652d8fd8d7cb2 to your computer and use it in GitHub Desktop.
Save nanne007/404fceb652d8fd8d7cb2 to your computer and use it in GitHub Desktop.
Download ZIP
Rust 的理论支持
Raw
theories supporting rust
1. affine type, region pointers. [Region-Based Memory Management in Cyclone](http://www.cs.umd.edu/projects/cyclone/papers/cyclone-regions.pdf)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment