Extensible records in Idris. - Gonzalo Waszczuk; Alberto Pardo; Marcos Viera (SBLP, 2017)