David B. MacQueen  Home/Search
Context Related
Links: ACM DBLP | nctu.edu.tw/eriol/...lncsmacqueen.ps.Z ii.uni.wroc.pl/~to...ncsmacqueen.ps.gz 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) From: ii.uni.wroc.pl/~tomasz/sml/doc... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It offers an excellent ratio of expressiveness to language complexity, and provides competitive efficiency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the flexibility of dynamically typed languages like Lisp. It is also has the most well-developed scientific ... (Update)
Context of citations to this paper: More
...gives a more standard basis for programming environments. In designing features for ML2000, we evaluate choices based on three criteria [29]: semantics (what do the constructs do ) implementability (can the constructs be translated to efficient machine code ) and pragmatics...
...Ocaml supports garbage collected memory management. Although some ML implementations are perceived to require large amounts of memory[Mac93] the Ocaml system is known for its efficient use of memory and this has not been a problem for us. Ocaml uses a generational garbage...
Cited by: More
Functions, Frames, and Interactions - completing a.. - Reinke (1998) (Correct)
Distributed Communication in ML - Hayden (1997) (Correct)
Principles and a Preliminary Design for ML2000 - Group (1999) (Correct)
Active bibliography (related documents): More All
0.7: The Machine-Assisted Proof Of Programming Language Properties - Vaninwegen (1996) (Correct)
0.7: Concurrent ML: Design, Application and Semantics - Reppy (1993) (Correct)
0.6: C∀, a Study in Evolutionary Design in Programming Languages - Jaramillo (2004) (Correct)
Similar documents based on text: More All
0.2: A Critique of Standard ML - Appel (1992) (Correct)
0.0: Some Developments of the Blackwell-MacQueen Urn Scheme - Pitman (1996) (Correct)
0.0: Concurrent Functional Processes - Karsten Bohlmann Rwth (Correct)
Related documents from co-citation: More All
2: OS6-an experimental operating system for a small computer (context) - Stoy, Strachey - 1972
2: A type theoretic approach to higher-order modules with sharing - Harper, Lillibridge - 1994
2: A semantics for higher-order functors - MacQueen, Tofte - 1994
BibTeX entry: (Update)
D. B. MacQueen. Reflections on Standard ML. In P. E. Lauer, editor, Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693, pages 32--46. Springer Verlag, 1994. http://citeseer.ist.psu.edu/macqueen94reflection.html More
@inproceedings{ macqueen93reflections,
author = "David B. MacQueen",
title = "Reflections on Standard {ML}",
booktitle = "Functional Programming, Concurrency, Simulation and Automated Reasoning",
pages = "32-46",
year = "1993",
url = "citeseer.ist.psu.edu/macqueen94reflection.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1989 ACM
369 A semantics of multiple inheritance - Cardelli - 1988 ACM DBLP
362 ML for the Working Programmer (context) - Paulson - 1992 ACM
232 The concurrency workbench: a semantics-based tool for the ve.. - Cleaveland, Parrow et al. - 1993 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
163 Commentary on Standard ML (context) - Milner, Tofte - 1991 ACM
162 Unboxed objects and polymorphic typing - Leroy - 1992 ACM DBLP
119 FACILE: A symmetric integration of concurrent and functional.. (context) - Giacalone, Mishra et al. - 1989 ACM DBLP
102 Type inference for record concatenations and multiple inheri.. - Wand - 1989
98 Using dependent types to express modular structure - MacQueen - 1986 ACM DBLP
97 The AWK Programming Language (context) - Aho, Kernighan et al. - 1988 ACM
84 The next 700 programming languages (context) - Landin - 1966 ACM DBLP
73 The concurrency workbench (context) - Cleaveland - 1993 ACM DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1993 ACM DBLP
62 Theoretical Aspects of Object-Oriented Programming: Types - Gunter, Mitchell - 1993
56 Explicit polymorphism and CPS conversion - Harper, Lillibridge - 1993 ACM DBLP
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
29 Polymorphism by name for references and continuations (context) - Leroy - 1993 ACM DBLP
28 A metalanguage for interactive proof in LCF (context) - Gordon, Milner et al. - 1978 ACM DBLP
26 A concurrent copying garbage collector for languages that di.. - Huelsbergen, Larus - 1993
23 A critique of Standard ML - Appel - 1993 DBLP
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
12 Standard ML weak polymorphism and imperative constructs (context) - Hoang, Mitchell et al. - 1993
11 Mitchell and Robert Harper (context) - John - 1988
11 An extension of ML with first-class abstract types (context) - Laufer, Odersky - 1992
9 Edinburgh University Press (context) - Burstall, Collins et al. - 1977
8 Computer assisted proof for mathematics: an introduction (context) - Burstall - 1989
6 Concurrent ML: design (context) - Reppy - 1993
6 The main features of CPL (context) - Barron, Buxton et al. - 1963
5 Distributed programming with asynchronous ordered channels i.. (context) - Cooper, Krumvieda - 1992
5 A proof-theoretic assessment of runtime type errors - Gunter, R'emy - 1992
4 An interview with Robin Milner (context) - Frenkel - 1993 ACM DBLP
3 Lessons from the design of a Standard ML library (context) - Berry - 1993 DBLP
3 Extensions to the SML module system (context) - Cr'egut - 1992
3 A technique for subclassing and its implementation exploitin.. (context) - Mancini - 1988 ACM DBLP
3 Using abstract interpretation to compute ML equality kinds (context) - Gunter, Gunter et al. - 1993
2 SourceGroup: a selective-recompilation system (context) - Rollins - 1991
2 The CAML Reference Manual (context) - Reference, Projet et al. - 1989
2 Abstract value constructors: symbolic constants for Standard.. (context) - Aitken, Reppy - 1992
2 An introduction to the high-level language Standard ML (context) - Ophel ACM DBLP
2 Principle signatures for higher-order program modules (context) - Tofte - 1992
1 HOL90: not just an ugly rumor (context) - Slind - 1991
1 Technical Report Technical Report No (context) - Paulson, Nipkow et al. - 1990
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)
Error Analysis and Reporting in Programming Environments - Waite (1990) (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