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

Document Versions

Implicit parameters: dynamic scoping with static types –Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury — 2000 — In POPL’00
Implicit Parameters: Dynamic Scoping with Static Types –Jeffrey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury — 2000
Implicit Parameters: Dynamic Scoping with Static Types (Extended Abstract) –Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark B. Shields — 2000
Implicit Parameters: Dynamic Scoping with Static Types –Jeffrey R. Lewis, Mark B. Shields, Erik Meijer, John Launchbury — 2000