My Hoang, John Mitchell, Ramesh Viswanathan  Home/Search
Context Related
| belllabs.com/user/rv/exter...lics93.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/user/rv/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard ML of New Jersey (SML-NJ) uses "weak type variables" to restrict the polymorphic use of functions that may allocate reference cells, manipulate continuations, or use exceptions. However, the type system used in the SML-NJ compiler has not been presented in a form other than source code and has not been proved correct. We present a type system, in the form of typing rules and an equivalent algorithm, that appears to subsume the implemented algorithm. Both use type variables of only a... (Update)
Context of citations to this paper: More
...in a precise way, since the languages that they encode are also different. Notice that the signature involves weak type variables (cf. [10, 26]) If SML were modified to have value only polymorphism, the signature of this module would be identical but without the weaknesses...
.... solutions to integrating imperative features with HindleyMilner polymorphism in call by value languages have been devised [1] 3] 4] [8], 9] 11] 17] 18] 19] These solutions range in complexity from Tofte s relatively simple method that Standard ML adopted to...
Cited by: More
Relaxing the Value Restriction - Jacques Garrigue Research (2003) (Correct)
A Sound Polymorphic Type System for a Dialect of C - Smith, Volpano (1998) (Correct)
A Generalization of Exceptions and Control in ML-like.. - Gunter, Rémy.. (1995) (Correct)
Similar documents (at the sentence level):
22.3%: Standard ML-NJ weak polymorphism and imperative constructs - Mitchell, Viswanathan (1994) (Correct)
Active bibliography (related documents): More All
0.3: Classes = Objects + Data Abstraction - Fisher (Correct)
0.2: A General Framework for Hindley/Milner Type Systems with.. - Sulzmann (2000) (Correct)
0.2: Type Inference with Rank 1 Polymorphism for Type-Directed.. - Ohori, Yoshida (1998) (Correct)
Similar documents based on text: More All
0.3: CMB: The SML/NJ Bootstrap Compiler (for SML/NJ version 110.35 and.. - Blume (2001) (Correct)
0.2: Weak Polymorphism Can Be Sound - Greiner (1996) (Correct)
0.1: CM - The SML/NJ Compilation and Library Manager - User Manual - Blume (2002) (Correct)
Related documents from co-citation: More All
7: Type inference for polymorphic references (context) - Tofte - 1990
5: Polymorphic type inference and assignment - Leroy, Weis - 1991
5: A syntactic approach to type soundness - Wright, Felleisen - 1991
BibTeX entry: (Update)
My Hoang, John Mitchell, and Ramesh Viswanathan. Standard ML-NJ weak polymorphism and imperative constructs. In Eighth Symposium on Logic in Computer Science, 1993. http://citeseer.ist.psu.edu/hoang93standard.html More
@inproceedings{ hoang93standard,
author = "My Hoang and John Mitchell and Ramesh Viswanathan",
title = "Standard {ML}-{NJ} weak polymorphism and imperative constructs",
booktitle = "Logic in Computer Science",
pages = "15-25",
year = "1993",
url = "citeseer.ist.psu.edu/hoang93standard.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
306 A syntactic approach to type soundness - Wright, Felleisen - 1992
259 Combinatory Logic (context) - Curry, Feys - 1958
178 Standard ML of New Jersey - Appel, MacQueen - 1991
160 The principal type-scheme of an object in combinatory logic (context) - Hindley - 1969
138 Type inference for polymorphic references (context) - Tofte - 1990
70 A Standard ML compiler - Appel, MacQueen - 1987
54 Type assignment in programming languages (context) - Damas - 1985
41 The type and effects discipline - Talpin, Jouvelot - 1992
21 Algebraic reconstruction of types and e ects (context) - Jouvelot, Gi - 1991
11 Available as Edinburgh University Laboratory for Foundations.. (context) - Tofte, Polymorphic et al. - 1988
5 An anecdote about ml type inference (context) - Koenig - 1992
4 Uni cation and ML type reconstruction (context) - Kanellakis, Mairson et al. - 1991
3 A bug in sml polymorphic typing for continuations (context) - Harper, Lillibridge - 1991
2 Polymorphis type inference and assignment (context) - Leroy, Weis - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bell-labs.com/user/rv/): More
A Calculus for Dynamic Customization of Virtual Environments - Ginsberg, Viswanathan (1999) (Correct)
Full Abstraction for First-Order Objects with Recursive Types.. - Viswanathan (Correct)
A Conceptual Framework for Network Management Event.. - Hasan, Sugla.. (1999) (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