ATS is another language that uses linear types: http://www.ats-lang.org/

		doublec on April 10, 2015 \| parent \| context \| favorite \| on: Fearless concurrency with Rust ATS is another language that uses linear types: http://www.ats-lang.org/