@string{popl00="Proceedings of the 27th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Boston, Massachusetts"}

@inproceedings{LewisShields/popl/00
,author="Jeffrey Lewis and Mark Shields and Erik Meijer and John Launchbury"
,title="Implicit Parameters: Dynamic Scoping with Static Types"
,booktitle=popl00
,year="2000"
,month="Jan"
,pages="108--118"
}