Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields

Browse the full POPL paper archive.