Rust distilled: An expressive tower of languages Aaron Weiss, Daniel Patterson, Amal Ahmed [arXiv] [Google Scholar] [DBLP] [Citeseer] CoRR abs/1806.02693 arXiv 1806.02693 2018 Note(s): Rust language