A. G. Vedana, R. Machado, and Álvaro F. Moreira, “V: a language with extensible record accessors and a trait-based type system”, RITA, vol. 25, no. 3, pp. 89–101, Sep. 2018.