Dami, L. 1998. A lambda-calculus for dynamic binding. Theoretical Computer Science 192, 2, 201--231. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
Dynamic Rebinding for Marshalling and Update, with.. - Bierman, Hicks.. (2003) (Correct)
Contractual Types - Nierstrasz (Correct)
Labeled and optional arguments for Objective Caml - Garrigue (2001) (Correct)
A Typed Context Calculus - Hashimoto, Ohori (2001) (6 citations) (Correct)
A Simply Typed Context Calculus with First-Class Environments - Sato, Sakurai, Kameyama (2002) (4 citations) (Correct)
A Simply Typed Context Calculus with First-Class Environments - Sato, Sakurai, Kameyama (2002) (4 citations) (Correct)
A Formal Language for Composition - Lumpe, Achermann, Nierstrasz (2000) (9 citations) (Correct)
A Typed Context Calculus - Hashimoto, Ohori (1997) (6 citations) (Correct)
First-Class Contexts in ML - Hashimoto (1998) (Correct)
A Study on Mobile Language Systems - Sekiguchi (1999) (1 citation) (Correct)
A Syntactic Theory of Dynamic Binding - Moreau (1996) (1 citation) (Correct)
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
A Simply Typed Context Calculus with First-Class Environments - Sato, Sakurai, Kameyama (2002) (4 citations) (Correct)
Contractual Types - Oscar Nierstrasz Institut (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
Form-based Software Composition - Lumpe, Schneider (2003) (Correct)
Dynamic Rebinding for Distributed Programming - Bierman, Hicks, Sewell.. (2002) (1 citation) (Correct)
Labelled Reductions, Runtime Errors, and Operational Subsumption - Dami (1997) Self-citation (Dami) (Correct)
Labelled Reductions, Runtime Errors, and Operational Subsumption - Dami Self-citation (Dami) (Correct)
Operational Subsumption, an Ideal Model of Subtyping - Dami (1998) Self-citation (Dami) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC