John Mitchell, Ramesh Viswanathan  Home/Search
Context Related
| stanford.edu/pub/jcm/pap...weakpoly.ps stanford.edu/people/jcm/...weakpoly.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: stanford.edu/people...pubsselect (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 previously been presented in a form other than source code nor proved correct. We present a set of typing rules, based on a careful analysis of the concepts underlying "weak polymorphism", that appears to subsume the implemented algorithm and... (Update)
Context of citations to this paper: More
...languages, but now exhibit features more commonly associated with imperative languages. A case in point is the recent fascination with monads. [9] Even Lisp, once purely functional, now contains the ability to express program logic in an imperative manner. 2 Thesis Functional...
Cited by: More
FDDL: A Graphical Functional Design Decomposition Language - Rethard, Reyes (Correct)
Similar documents (at the sentence level):
13.5%: Standard ML-NJ weak polymorphism and imperative constructs - Hoang, Mitchell, Viswanathan (1993) (Correct)
Active bibliography (related documents): More All
0.3: Classes = Objects + Data Abstraction - Fisher (Correct)
0.2: On the Type Structure of Standard ML - Harper, Mitchell (1992) (Correct)
0.2: Optimal Representations of Polymorphic Types with Subtyping - Aiken, Wimmers, Palsberg (1996) (Correct)
Similar documents based on text: More All
0.2: Proc. 20th Symp. Principles of Programming Languages.. - Polymorphism By Name (Correct)
0.1: Publishing in Wireless and Wireline Environments - Viswanathan (1994) (Correct)
0.1: PRO-ART: Enabling Requirements Pre-Traceability - Pohl (1996) (Correct)
BibTeX entry: (Update)
Mitchell, J. and R. Viswanathan. "Standard ML-NJ Weak Polymorphism and imperative constructs," Information and Computation, Vol 127, No. 2 (June 1996), pp102-116, Academic Press. http://citeseer.ist.psu.edu/mitchell94standard.html More
@article{ mitchell96standard,
author = "John Mitchell and Ramesh Viswanathan",
title = "Standard {ML}-{NJ} Weak Polymorphism and Imperative Constructs",
journal = "Information and Computation",
volume = "127",
number = "2",
pages = "102-116",
year = "1996",
url = "citeseer.ist.psu.edu/mitchell94standard.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
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
54 Type assignment in programming languages (context) - Damas - 1985
41 The type and effects discipline - Talpin, Jouvelot - 1992
32 Unification and ML type reconstruction - Kanellakis, Mairson et al. - 1991
20 Typing references by effect inference - Wright - 1992
13 ML typability is Dexptime-complete (context) - Kfoury, Tiuryn et al. - 1990
11 Available as Edinburgh University Laboratory for Foundations.. (context) - Tofte, Polymorphic et al. - 1988
5 An anecdote about ml type inference (context) - Koenig - 1992
3 A bug in sml polymorphic typing for continuations (context) - Harper, Lillibridge - 1991
2 Polymorphis type inference and assignment (context) - Leroy, Weis - 1991
Documents on the same site (http://theory.stanford.edu/people/jcm/pubs-select.html): More
A Probabilistic Poly-Time Framework for Protocol Analysis - Lincoln, Mitchell.. (1998) (Correct)
Optimization Complexity of Linear Logic Proof Games - Lincoln, Mitchell, Scedrov (Correct)
Java Bytecode Modification and Applet Security - Shin, Mitchell (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