Extensible Records With Scoped Labels
Stc
Date: 2005 04 21
Time: 11:45
Room: CGN room C004
Speaker: Daan Leijen
Title: Extensible records with scoped labels
Abstract
Records provide a safe and flexible way to construct data structures. I will
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, I will show how it can be used in particular with
the higher-ranked impredicative MLF type system.
See the paper at
http://www.cs.uu.nl/~daan/download/papers/scopedlabels.pdf
