Implicit Parameters: Dynamic Scoping with Static Types (2000)

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