Implicit parameters: Dynamic scoping with static types (2000)

by Jeffrey Lewis, Mark Shields, Erik Meijer, John Launchbury
Venue:In Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages