Implicit parameters: dynamic scoping with static types (2000)

by Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury
Venue:In POPL’00