Lambda the Ultimate

inactiveTopic Implicit Parameters: Dynamic Scoping with Static Types
started 4/7/2003; 12:16:14 PM - last post 4/7/2003; 12:16:14 PM
Ehud Lamm - Implicit Parameters: Dynamic Scoping with Static Types  blueArrow
4/7/2003; 12:16:14 PM (reads: 2191, responses: 0)
Implicit Parameters: Dynamic Scoping with Static Types
Implicit Parameters: Dynamic Scoping with Static Types. Jeffrey Lewis, Mark Shields, Erik Meijer, John Launchbury. To appear in the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000. 11 pages.

A nice language design paper.

The paper proposes a mechanism for implicit dynamically scope parameters for Haskell. The proposed language construct was implemented in both Hugs and GHC and used, and the paper describes several interesting usage examples.


Posted to functional by Ehud Lamm on 4/7/03; 12:21:04 PM