M. Tofte. Type inference for polymorphic references. Information and Computation, 89:1--34, November 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Relaxing the Value Restriction - Jacques Garrigue Research (2003) (1 citation) (Correct)
An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (20 citations) (Correct)
Regular Object Types - Gapeyev, Pierce (2003) (24 citations) (Correct)
Polymorphic Type Inference and Assignment - Leroy, Weis (1991) (40 citations) (Correct)
Proc. 20th Symp. Principles of Programming Languages.. - Polymorphism By Name (Correct)
Dynamics in ML - Leroy, Mauny (1993) (26 citations) (Correct)
Unboxed Objects and Polymorphic Typing - Leroy (1992) (155 citations) (Correct)
A Stratified Semantics of General References Embeddable in.. - Ahmed, Appel, Virga (2002) (5 citations) (Correct)
Standard ML-NJ weak polymorphism and imperative constructs - Hoang, Mitchell, Viswanathan (1993) (6 citations) (Correct)
Polymorphic Type Assignment and CPS Conversion - Harper, Lillibridge (1993) (30 citations) (Correct)
Unchecked Exceptions can be Strictly More Powerful than Call/CC - Lillibridge (1996) (Correct)
Explicit Polymorphism and CPS Conversion - Harper, Lillibridge (1993) (41 citations) (Correct)
A Type Soundness Proof for Variables in LCF ML - Volpano, Smith (1995) (Correct)
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (10 citations) (Correct)
Effective Static Debugging via Componential Set-Based Analysis - Flanagan (1997) (10 citations) (Correct)
VM: A Functional Calculus for Scientific Discovery - Sumii, Bannai (2001) (Correct)
A Critique of Standard ML - Appel (1992) (21 citations) (Correct)
Effective Static Debugging via Componential Set-Based Analysis - Flanagan (1997) (10 citations) (Correct)
Existential Types for Imperative Languages - Grossman (2002) (3 citations) (Correct)
A Framework for Defining Object-Calculi - Lang, Lescanne, Liquori (1999) (2 citations) (Correct)
A Uniform Type Structure for Secure Information Flow.. - Honda, Yoshida (2002) (25 citations) (Correct)
VM\Lambda: A Functional Calculus for Scientific Discovery - Sumii, Bannai (2001) (Correct)
Return Types for Functional Continuations - Gunter, Rémy, Riecke (1998) (Correct)
Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (1999) (4 citations) (Correct)
Monadic Encapsulation in ML - Semmelroth, Sabry (1999) (11 citations) (Correct)
A Generic Object-Calculus Based on Addressed Term.. - Dougherty, Lang.. (2001) (Correct)
Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (2 citations) (Correct)
Type-Based Locality Analysis - Moreira, Steckler (2000) (Correct)
Alias Types - Smith, Walker, Morrisett (26 citations) (Correct)
Standard ML-NJ weak polymorphism and imperative constructs - Mitchell, Viswanathan (1994) (1 citation) (Correct)
Is the Java Type System Sound? - Drossopoulou, Eisenbach (1997) (2 citations) (Correct)
Addressed Term Rewriting Systems - Lang, Dougherty, Lescanne, Rose (1999) (1 citation) (Correct)
An Imperative Object Calculus - Basic Typing and Soundness - Abadi, Cardelli (1995) (3 citations) (Correct)
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (4 citations) (Correct)
Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (3 citations) (Correct)
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (2 citations) (Correct)
Java is Type Safe - Probably - Drossopoulou, Eisenbach (1997) (51 citations) (Correct)
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (5 citations) (Correct)
Compiling Standard ML to Java - An (Correct)
Alias Types - Smith, Walker, Morrisett (1999) (26 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Explicit Polymorphism and CPS Conversion - Robert Harper Mark (1992) (41 citations) (Correct)
A Type-Theoretic Account of Standard ML 1996 (Version 2) - Harper (1996) (Correct)
A Logic of Object-Oriented Programs - Abadi, Leino (1997) (61 citations) (Correct)
Formal Verification of Algorithm W: The Monomorphic Case - Nazareth, Nipkow (1996) (6 citations) (Correct)
Return Types for Functional Continuations - Carl Gunter University (Correct)
A Uniform Type Structure for Secure Information Flow - Honda, Yoshida (2002) (25 citations) (Correct)
Type Inference Verified: Algorithm W in Isabelle/HOL - Naraschewski, Nipkow (1997) (1 citation) (Correct)
Aspects Theoriques Et Pratiques De L'inferences De Type Et Effets - Talpin (1993) Self-citation (Tofte) (Correct)
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