Machado, Rodrigo, Instituto de Informática Universidade Federal do Rio Grande do Sul, Brazil

• Revista de Informática Teórica e Aplicada Vol. 25 No. 3 (2018) - Selected Papers - WEIT 2017
  V: a language with extensible record accessors and a trait-based type system
  Abstract  PDF