Implicit parameters: Dynamic scoping with static types (2000)

by J R Lewis, J Launchbury, E Meijer, M Shields
Venue:In Proceedings of the 27th ACM SIGPLAN-SIGACT on Principles of Programming Languages (POPL ’00). ACM,NewYork,NY,108–118