Andrew W. Appel  Home/Search
Context Related
| nctu.edu.tw/eriol/...criticSML.364.ps.Z 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: nctu.edu.tw/eriol/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard ML is an excellent language for many kinds of programming. It is safe, efficient, suitably abstract, and concise. There are many aspects of the language that work well. However, nothing is perfect: Standard ML has a few shortcomings. In some cases there are obvious solutions, and in other cases further research is required. (Update)
Context of citations to this paper: More
.... and variants being described [NS91, NP93, HHPW94, Aug93, PJ93, Jon92, CHO92, Jon93] They have also attracted some criticism [App93]. In our view, one of the most serious criticisms of type classes is that a program cannot be assigned a meaning independent of its...
...and much less complete, or else su#er the added complexity of performing points to and other analyses. Thus, as others have pointed out [6], we find that safety and analyzability go hand in hand. While Java may seem a strange starting point for high performance scientific...
Cited by: More
Compiling Standard ML to Java - An (Correct)
Repairing Type Errors in Functional Programs - McAdam (2001) (Correct)
Functions, Concurrency, Distribution and Mobility - Kirli (Correct)
Active bibliography (related documents): More All
0.5: Extending a Functional Programming System for Embedded.. - Wallace, Runciman (1995) (Correct)
0.4: Standard ML of New Jersey - Appel, MacQueen (1991) (Correct)
0.3: A Portable Multiprocessor Interface for Standard ML of New.. - Morrisett, Tolmach (1992) (Correct)
Similar documents based on text: More All
0.3: A Standard ML Compiler - Appel, MacQueen (1987) (Correct)
0.3: Storage Allocation for Real-Time, Embedded Systems - Donahue, Hampton, Deters.. (2001) (Correct)
0.2: A Debugger for Standard ML - Tolmach, Appel (1993) (Correct)
Related documents from co-citation: More All
12: The definition of Standard ML (context) - Miller, Tofte et al. - 1990
10: Compiling with Continuations (context) - Appel - 1992
8: Commentary on Standard ML (context) - Milner, Tofte - 1990
BibTeX entry: (Update)
Andrew Appel. A critique of Standard ML. Journal of Functional Programming, 3(4):391--429, October 1993. http://citeseer.ist.psu.edu/appel92critique.html More
@article{ appel93critique,
author = "Andrew W. Appel",
title = "A Critique of Standard {ML}",
journal = "Journal of Functional Programming",
volume = "3",
number = "4",
pages = "391-429",
year = "1993",
url = "citeseer.ist.psu.edu/appel92critique.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
521 Compiling with Continuations (context) - Appel - 1992
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1989
304 Scheduler activations: Effective kernel support for the user.. - Anderson, Bershad et al. - 1992
293 The essence of functional programming - Wadler - 1992
227 Kernighan and Dennis M (context) - Brian - 1978
197 Revised report on the algorithmic language Scheme - Rees, Clinger - 1986
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989
178 Standard ML of New Jersey - Appel, MacQueen - 1991
173 A real-time garbage collector based on the lifetimes of obje.. - Lieberman, Hewitt - 1983
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
162 Unboxed objects and polymorphic typing - Leroy - 1992
162 Programming in Modula (context) - Wirth - 1981
138 Type inference for polymorphic references (context) - Tofte - 1990
99 Polymorphic effect systems (context) - Lucassen, Gifford - 1988
89 Systems Programming with Modula (context) - Nelson - 1991
84 The Design and Evaluation of a High Performance Smalltalk Sy.. (context) - Ungar - 1986
81 A proposal for Standard ML (context) - Milner - 1984
77 Pascal: User Manual and Report (context) - Jensen, Wirth - 1974
70 A Standard ML compiler - Appel, MacQueen - 1987
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991
66 Algebraic reconstruction of types and effects - Jouvelot, Gifford - 1991
65 Lisp and Symbolic Computation (context) - Appel, aren't - 1989
59 Smartest recompilation - Shao, Appel - 1993
58 Type inference in the presence of overloading (context) - Kaes - 1992
57 Continuation-based multiprocessing - Wand - 1980
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
49 Heap profil- ing of lazy functional programs - Runciman, Wakeling - 1992
42 Compiling a functional language - Cardelli - 1984
41 Polymorphic type inference and assignment - Leroy, Weis - 1991
39 Springer-Verlag (context) - Gordon, Milner et al. - 1979
35 Modules for Standard ML - MacQueen - 1984
27 Type Assignment in Programming Languages (context) - Damas - 1985
26 Dynamics in ml - Leroy, Mauny - 1991
22 Improving garbage collector performance in virtual memory (context) - Shaw - 1987
21 Distributed with Standard ML of New Jersey (context) - MacQueen - 1988
16 purely functional language (context) - the, Haskell et al. - 1992
16 Hints on Programming-Language Design (context) - Hoare - 1989
14 Software--- Practice and Experience (context) - Welsh, Sneeringer et al. - 1977
13 Traps and Pitfalls (context) - Koenig - 1989
10 The eXene library manual - Reppy, Gansner - 1991
5 Concurrent programming with events (context) - Reppy - 1990
4 Naval Publications and Forms Center (context) - standard, language et al. - 1980
2 Report on the programming language Haskell: Version (context) - the, Haskell et al. - 1991
1 Technical Report EMP-CRI E (context) - Talpin, Jouvelot et al. - 1991
1 personal communication from Scott Nettles (context) - Nettles, O'Toole et al. - 1990
1 Is explicit deallocation really faster than garbage collecti.. (context) - Clinger, Hansen - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://plaslab.cis.nctu.edu.tw/eriol/index.html): More
Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994) (Correct)
Modularity and Reusability in Attribute Grammars - Kastens, Waite (1992) (Correct)
Reflections on Standard ML - MacQueen (1994) (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