Implicit Parameters: Dynamic Scoping with Static Types (2000)

by Jeffrey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury