@string{popl01="Proceedings of the 28th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages ({POPL}'01), London, England"}

@inproceedings{Shields/popl/01
,author="Mark Shields and Erik Meijer"
,title="Type-Indexed Rows"
,booktitle=popl01
,year="2001"
,month=jan
,publisher=acm
,pages="261--275"
}