V: a language with extensible record accessors and a trait-based type system. - Arthur Giesel Vedana; Rodrigo Machado; Álvaro Freitas Moreira (RITA, 2018)