Implicit parameters: Dynamic scoping with static types (2000)

by J R Lewis, J Launchbury, E Meijer, M Shields
Venue:In POPL