Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields. Implicit Parameters: Dynamic Scoping with Static Types. In POPL. pages 108-118, 2000. [doi]
@inproceedings{LewisLMS00,
title = {Implicit Parameters: Dynamic Scoping with Static Types},
author = {Jeffrey R. Lewis and John Launchbury and Erik Meijer and Mark Shields},
year = {2000},
doi = {10.1145/325694.325708},
url = {http://doi.acm.org/10.1145/325694.325708},
researchr = {https://researchr.org/publication/LewisLMS00},
cites = {0},
citedby = {0},
pages = {108-118},
booktitle = {POPL},
}