Týr: A Dependent Type System for Spatial Memory Safety in LLVM. - Vítor Bujés Ubatuba De Araújo; Álvaro Freitas Moreira; Rodrigo Machado (WEIT, 2015)