Implicit Parameters: Dynamic Scoping with Static Types (2000)

by Jeffrey Lewis, John Launchbury, Erik Meijer, M Shields
Venue:In: POPL 2000 - Proceedings