Extensible records with scoped labels (2005)
| Venue: | In: Proceedings of the 2005 Symposium on Trends in Functional Programming |
| Citations: | 4 - 0 self |
BibTeX
@INPROCEEDINGS{Leijen05extensiblerecords,
author = {Daan Leijen},
title = {Extensible records with scoped labels},
booktitle = {In: Proceedings of the 2005 Symposium on Trends in Functional Programming},
year = {2005},
pages = {297--312}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Records provide a safe and flexible way to construct data structures. We describe a natural approach to typing polymorphic and extensible records that is simple, easy to use in practice, and straightforward to implement. A novel aspect of this work is that records can contain duplicate labels, effectively introducing a form of scoping over the labels. Furthermore, it is a fully orthogonal extension to existing type systems and programming languages. In particular, we show how it can be used conveniently with standard Hindley-Milner, qualified types, and MLF. 1
