Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis John Launchbury Erik Meijer Mark Shields Implicit Parameters: Dynamic Scoping with Static Types. 108-118 2000 POPL http://doi.acm.org/10.1145/325694.325708 db/conf/popl/popl2000.html#LewisLMS00