![](/img/cover-not-exists.png)
[ACM Press the 21st Brazilian Symposium - Fortaleza, CE, Brazil (2017.09.21-2017.09.22)] Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017 - Extensible records in Idris
Waszczuk, Gonzalo, Pardo, Alberto, Viera, MarcosYear:
2017
Language:
english
DOI:
10.1145/3125374.3125384
File:
PDF, 518 KB
english, 2017