Dynamic Rebinding for Marshalling and Update, with Destruct-Time  &lambda;

Dynamic Rebinding for Marshalling and Update, with Destruct-Time λ (2003)

Cached

Download Links

by Gavin Bierman , Michael Hicks , Peter Sewell , Gareth Stoyle , Keith Wansbrough

Venue:	IN PROC. ICFP
Citations:	32 - 14 self

BibTeX

@INPROCEEDINGS{Bierman03dynamicrebinding,
    author = {Gavin Bierman and Michael Hicks and Peter Sewell and Gareth Stoyle and Keith Wansbrough},
    title = {Dynamic Rebinding for Marshalling and Update, with Destruct-Time λ},
    booktitle = {IN PROC. ICFP},
    year = {2003},
    pages = {99--110},
    publisher = {ACM Press}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example when a marshalled value is received from the network, containing identifiers that must be rebound to local resources. Typically it is provided only by ad-hoc mechanisms that lack clean semantics. In this

Citations

725	Mobile ambients - Cardelli, Gordon - 1998
359	Explicit Substitutions - Abadi, Cardelli, et al. - 1992
250	A calculus of mobile agents - Fournet, Gonthier, et al. - 1996
237	The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
166	A call-by-need lambda calculus - Ariola, Felleisen, et al. - 1995
154	Dynamic software updating - Hicks, Moore, et al. - 2001
87	Concurrent Programming in Erlang - Armstrong, Virding, et al. - 1996
70	Implicit parameters: Dynamic scoping with static types - Lewis, Launchbury, et al. - 2000
69	Trust and partial typing in open systems of mobile agents - Riely, Hennessy - 1998
64	Location-independent communication for mobile agents: a two-level architecture - Sewell, Wojciechowski, et al. - 1999
57	Abstract continuations: A mathematical semantics for handling full functional jumps - Felleisen, Wand, et al.
54	A generalization of exceptions and control in ML-like languages - Gunter, Rémy, et al. - 1995
39	Type-based hot swapping of running modules - Duggan - 2001
35	Global abstraction-safe marshalling with hash types - Leifer, Peskine, et al. - 2003
35	Secure Composition of Untrusted Code: Wrappers and Causality Types - Sewell, Vitek - 2000
33	Control operators, the SECD-machine, and the lambda-calculus - Felleisen, Friedman - 1986
29	Pierre-Louis Curien, and Jean-Jacques Lévy. Explicit substitutions - Abadi, Cardelli - 1991
26	A lambda-calculus for dynamic binding - Dami - 1997
26	A syntactic theory of dynamic binding - Moreau - 1998
23	Dynamic ML without dynamic types - Gilmore, Kirli, et al. - 1997
19	Partial continuations as the difference of continuations. A duumvirate of control operators. Lecture notes in computer science - Moreau, Queinnec - 1994
16	Metalevel building blocks for modular systems - Jagannathan - 1994
16	Quasi-static scoping: Sharing variable bindings across multiple lexical scopes - Lee, Friedman - 1993
15	and Atsushi Ohori, A typed context calculus, Theor - Hashimoto
12	Safe dynamic binding in the join calculus - Schmitt - 2002
11	A library of high level control operators - Queinnec - 1993
9	Abstract Machines for Dynamic Computation - Walton - 2001
8	Dynamic binding and lexical binding in a transformation calculus - Garrigue - 1995
6	A distributed pi-calculus with local areas of communication - Chothia, Stark - 2000
6	MobileML: A programming language for mobile computation - Hashimoto, Yonezawa - 2000
1	Vivas Frontana. Dynamic Binding of Names in Calculi for Mobile Processes - Luis - 2001