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