Implicit Parameters: Dynamic Scoping with Static Types (2000)

by Jeffrey R. Lewis , Mark B. Shields , Erik Meijer , John Launchbury
Citations:81 - 4 self