@INPROCEEDINGS{Leijen:scopedlabels,
  author    = {Leijen, Daan},
  title     = {Extensible records with scoped labels},
  booktitle = {Proceedings of the 2005 Symposium on Trends in Functional Programming (TFP'05)},
  location  = {{T}allin, {E}stonia},
  month     = sep,
  year      = 2005
}