A located lambda calculus

Philip Wadler, Ezra Cooper

Research output: Working paper

Abstract / Description of output

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 web servers should be "stateless": that no "session state" should be maintained on behalf of individual clients---that is, no state that pertains to the particular point of the interaction at which a client program resides. Thus far, most implementations of unified location-aware languages have ignored this precept, usually keeping a process for each client running on the server, or otherwise storing state information in memory. We show how to implement a location-aware language on top of the stateless-server model.
Original languageEnglish
Number of pages10
Publication statusUnpublished - 7 Sept 2010


Dive into the research topics of 'A located lambda calculus'. Together they form a unique fingerprint.

Cite this