A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115:38--94, 1994.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115:38--94, 1994.
Polymorphic Type Assignment and CPS Conversion - To Appear Acm (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Technical Report TR91--160, Department of Computer Science, Rice University, July 1991. 10
Compiling with Non-Parametric Polymorphism - Preliminary Report Robert (Correct)
No context found.
A. Wright and M. Felleisen. A syntactic approach to type soundness. Technical Report TR91-160, Department of Computer Science, Rice University, Apr. 1991.
Typed Parametric Polymorphism for Aspects - Jagadeesan, Jeffrey, Riely (2006) (Correct)
No context found.
A. K. Wright, M. Felleisen, A syntactic approach to type soundness, Information and Computation 115 (1) (1994) 38--94. URL citeseer.ist.psu.edu/wright92syntactic.html
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Wright, A. K. and Felleisen, M. 1994. A syntactic approach to type soundness. Information and Computation 115, 1, 38-94.
Construction of a Semantic Model for a Typed Assembly Language - Tan, Appel, Swadi, Wu (2003) (1 citation) (Correct)
No context found.
Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation 115 (1994) 38--94
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994.
Typed Stateful Programming - Zhu (2004) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
Polymorphic Regular Tree Types and Patterns - Vouillon (2006) (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Inf. Comput., 115(1):38--94, 1994.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994.
Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (2 citations) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (4 citations) (Correct)
No context found.
Andrew Wright and Matthias Felleisen. A Syntactic Approach to Type Soundness. Information and Computation, 115(1), 1994.
MiniMAO: Investigating the Semantics of Proceed - Clifton, Leavens (2005) (1 citation) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115 (1):38--94, 1994.
Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (2 citations) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994.
A Core Calculus of Higher-Order Mixins and Classes - Bettini, Bono, Likavec (1 citation) (Correct)
No context found.
A. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994. A Subtyping Rules and Other Typing Rules G, i 1 i 2
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (2 citations) (Correct)
No context found.
Andrew Wright and Matthias Felleisen. A Syntactic Approach to Type Soundness. Information and Computation, 115(1), 1994.
Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (6 citations) (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994. 21 A Proof of Lemma 6 (Substitution)
Java Exceptions Throw no Surprises - Drossopoulou, Valkevych (2000) (3 citations) (Correct)
No context found.
Andrew Wright and Matthias Felleisen. A Syntactic Approach to Type Soundness. Information and Computation, 115(1), 1994.
An Open and Shut Typecase - Vytiniotis, Washburn, Weirich (2004) (3 citations) (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115:38--94, 1994. $Id: tech-report.tex 364 2004-11-04 17:45:58Z dimitriv $ 20 A Full Language A.1 Syntax
ULM - A Core Programming Model for Global Computing - Boudol (2004) (1 citation) (Correct)
No context found.
A. Wright, M. Felleisen, A syntactic approach to type soundness, Information and Computation Vol. 115 No. 1 (####) 38-94.
Modularity in Meta-Languages - Mosses (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994. Preliminary version in Rice TR 91-160. 18
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. In Information and Computation 115(1), November 1994.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
A. K. Wright and M. Felleisen. A syntactic approach to type soundness. In Information and Computation 115(1), November 1994.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38--94, 1994. 12
First 50 documents Next 50
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