Extensible records in Idris

Gonzalo Waszczuk, Alberto Pardo, Marcos Viera. Extensible records in Idris. In Fabio Mascarenhas, editor, Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017. ACM, 2017. [doi]

Abstract

Abstract is missing.