Implicit parameters: dynamic scoping with static types (2000)

by Jeffrey R. Lewis , Mark B. Shields , Erik Meijert , John Launchbury
Venue:In POPL’00
Citations:81 - 4 self