A located lambda calculus .
Ezra Cooper and Philip Wadler. Submitted to ICFP 2008.
Several recent language designs have offered a unified language for programming a distributed system; we call these "location-aware" languages.
These languages provide constructs that allow the programmer to control the location (the choice of host, for example) where a piece of code should run, which can be useful for security or performance reasons.
On the other hand, a central mantra of web engineering insists that...
Post new comment