Andrew W. Appel, David B. MacQueen  Home/Search
Context Related
Links: DBLP | princeton.edu/fac/appel/pape...smlnj.ps princeton.edu/~appel/papers/smlnj.ps princeton.edu/faculty/appel/...smlnj.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: princeton.edu/fac/appel/vita (more) From: virginia.edu/zeph...presentations (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete environment for Standard ML that supports the implementation of large software systems and generates efficient code. The compiler has also served as a laboratory for developing novel implementation techniques for a sophisticated type and module system, continuation based code generation, efficient pattern matching, and concurrent programming features. (Update)
Cited by: More
Compiling with Non-Parametric Polymorphism - Preliminary Report Robert (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (Correct)
Retrospective: - Til Type-Directed Optimizing (Correct)
Active bibliography (related documents): More All
0.5: Reflections on Standard ML - MacQueen (1994) (Correct)
0.5: Optimizing Direct Threaded Code By Selective Inlining - Piumarta, Riccardi (1998) (Correct)
0.4: A Critique of Standard ML - Appel (1992) (Correct)
Similar documents based on text: More All
0.3: Separate Compilation for Standard ML - Appel, MacQueen (1994) (Correct)
0.1: Compiling Functional Languages - Bibliography - Tolmach (1996) (Correct)
0.1: A Compilation Manager for Standard ML of New Jersey - Harper, Pfenning, Lee, Rollins (1994) (Correct)
Related documents from co-citation: More All
53: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
45: Compiling with Continuations (context) - Appel - 1992
31: Unboxed objects and polymorphic typing - Leroy - 1992
BibTeX entry: (Update)
Andrew W. Appel and David B. MacQueen. Standard ML of New Jersey. In Third International Symposium on Programming Language Implementation and Logic Programming, number 528 in Lecture Notes in Computer Science, pages 1--13, Passau, Germany, August 1991. http://citeseer.ist.psu.edu/appel91standard.html More
@inproceedings{ appel91standard,
author = "Andrew W. Appel and David B. MacQueen",
title = "Standard {ML} of New Jersey",
booktitle = "Proceedings of {theThirdInternational} Symposium on Programming Language Implementation and Logic Programming",
number = "528",
publisher = "Springer Verlag",
editor = "J. Maluszy{\'n}ski and M. Wirsing",
pages = "1--13",
year = "1991",
url = "citeseer.ist.psu.edu/appel91standard.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1989 ACM
521 Compiling with Continuations (context) - Appel - 1992 ACM
306 A syntactic approach to type soundness - Wright, Felleisen - 1991
271 Yacc -- yet another compiler compiler - Johnson - 1975
220 ORBIT: An optimizing compiler for Scheme (context) - Kranz - 1987 ACM DBLP
218 The mechanical evaluation of expressions (context) - Landin - 1964
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989 ACM
163 Commentary on Standard ML (context) - Milner, Tofte - 1991 ACM
138 Type inference for polymorphic references (context) - Tofte - 1990
123 Simple generational garbage collection and fast allocation - Appel - 1989 ACM DBLP
116 Rabbit: a compiler for Scheme (context) - Steele - 1978 ACM
106 Lambda calculus notation with nameless dummies (context) - deBruijn - 1972
89 closure-passing style (context) - Appel, Jim - 1989
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
81 The ZINC experiment: an economical implementation of the ML .. - Leroy - 1990
70 No assembly required: Compiling Standard ML to C - Tarditi, Acharya et al. - 1990 DBLP
70 A Standard ML compiler - Appel, MacQueen - 1987 ACM DBLP
69 Typing first-class continuations in ML - Duba, Harper et al. - 1991 ACM DBLP
65 Lisp and Symbolic Computation (context) - Appel, system - 1990
65 Lisp and Symbolic Computation (context) - Appel, aren't - 1989
57 Continuation-based multiprocessing - Wand - 1980 ACM DBLP
55 Adding threads to Standard ML - Cooper, Morrisett - 1990
41 Polymorphic type inference and assignment - Leroy, Weis - 1991 ACM DBLP
32 Debugging Standard ML without reverse engineering - Tolmach, Appel - 1990
28 A lexical analyzer generator for Standard ML (context) - Appel, Mattson et al. - 1989
26 The implementation of Standard ML modules - MacQueen - 1988
25 Callee-save registers in continuation-passing style - Appel, Shao - 1991 ACM DBLP
23 Asynchronous signals in Standard ML - Reppy - 1990
21 distributed with Standard ML of New Jersey (context) - Tarditi, Appel et al. - 1990
13 University of Cambridge (context) - Matthews, Poly et al. - 1989
10 The eXene library manual - Reppy, Gansner - 1991
7 An abstract interpretation for ML equality kinds (context) - Gunter, Gunter et al. - 1991 ACM DBLP
6 Optimizing closure environment representations (context) - Appel, Jim - 1988
5 Concurrent programming with events (context) - Reppy - 1990
4 Type abstraction rules for references: A comparison of four .. (context) - O'Toole - 1990
2 personal communication (context) - Leroy - 1991
2 CAML: The reference manual (context) - reference, Projet et al. - 1987
1 sent to the SML mailing list by db@lfcs (context) - Berry - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.princeton.edu/fac/appel/vita.html): More
Continuation-Passing, Closure-Passing Style - Andrew Appel (1989) (Correct)
Vectorized Garbage Collection - Andrew Appel (1990) (Correct)
A Standard ML Compiler - Appel, MacQueen (1987) (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