Implicit parameters: dynamic scoping with static types (2000)

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