Jeffrey Lewis, Mark Shields, Erik Meijer, John Launchbury "Implicit Parameters: Dynamic Scoping with Static Types"

(2000)

[POPL 2000] (2000) [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000  

Languages mentioned