Benjamin C. Pierce. Types and Programming Languages: Semantics. The MIT Press, Cambridge, MA, 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Can Addresses be Types? (a case study: objects with delegation) - Anderson, al. (2003) (Correct)
....objects with method and delegate overriding, addition, removing and which can delegate executions of methods to other objects [Lie86] ABC 92] AD02] A traditional approach for ensuring safety is typing. There is a large literature about calculi of objects with types (see [AC96a] Bru02] Pie02] and their references) where safety is interpreted mainly as the property that well typed programs cannot go wrong, i.e. that no message not understood exception can be thrown. This is also the approach to program safety of the present paper, but whereas many of the proposed type systems in ....
Benjamin C. Pierce. Types and Programming Languages: Semantics. The MIT Presse, Cambridge, MA, 2002.
Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003) (Correct)
No context found.
Benjamin C. Pierce. Types and Programming Languages: Semantics. The MIT Press, Cambridge, MA, 2002.
Can Addresses be Types? (a case study: objects with delegation) - Anderson, al. (2003) (Correct)
No context found.
Benjamin C. Pierce. Types and Programming Languages: Semantics. The MIT Presse, Cambridge, MA, 2002.
Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003) (Correct)
No context found.
Benjamin C. Pierce. Types and Programming Languages: Semantics. The MIT Press, Cambridge, MA, 2002.
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