Zhong Shao, Andrew W. Appel  Home/Search
Context Related
Links: ACM DBLP | Princeton.EDU:80/faculty/appe...tcps.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: hypatia.dcs.qmw...tional.implemen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should typedirected compilation work in real compilers, and how much performance gain will type-based optimizations yield? In order to support more efficient data representations and gain more experience about type-directed compilation, we have implemented a new type-based middle end and back end for the Standard ML of New Jersey compiler. We describe... (Update)
Cited by: More
Typed Closure Conversion - Yasuhiko Minamide Greg (Correct)
Retrospective: - Til Type-Directed Optimizing (Correct)
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
Similar documents (at the sentence level):
66.7%: A Type-Based Compiler for Standard ML - Zhong Shao (1994) (Correct)
28.1%: Compiling Standard ML For Efficient Execution On Modern Machines - Shao (1994) (Correct)
Active bibliography (related documents): More All
0.2: TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
0.1: Typed Cross-Module Compilation - Shao (1998) (Correct)
0.1: Parameterized Signatures and Higher-Order Modules - Shao (1998) (Correct)
Similar documents based on text: More All
0.4: Type-Based Analysis and Applications - Palsberg (2001) (Correct)
0.4: Diagonal Sums of Boxed Plane Partitions - David Wilson Microsoft (Correct)
0.3: Representation Analysis for Coercion Placement - Faxén (Correct)
Related documents from co-citation: More All
50: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
44: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
38: Compiling with Continuations (context) - Appel - 1992
BibTeX entry: (Update)
Zhong Shao and Andrew W. Appel. A type-based compiler for Standard ML. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 116--129, La Jolla, California, June 1994. ACM. http://citeseer.ist.psu.edu/shao94typebased.html More
@inproceedings{ shao95typebased,
author = "Zhong Shao and Andrew W. Appel",
title = "{A} Type-based Compiler for Standard {ML}",
booktitle = "Proc. {ACM} {SIGPLAN} '95 Conference on Programming Language Design and Implementation",
address = "La Jolla, CA",
pages = "116--129",
year = "1995",
url = "citeseer.ist.psu.edu/shao94typebased.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
220 ORBIT: An optimizing compiler for Scheme (context) - Kranz - 1987 ACM DBLP
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM 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
128 and separate compilation (context) - Leroy, modules - 1994
116 Rabbit: a compiler for Scheme (context) - Steele - 1978 ACM
89 closure-passing style (context) - Appel, Jim - 1989
73 Unboxed values as first class citizens in a non-strict funct.. - Jones, Launchbury - 1991 ACM DBLP
65 A semantics for higher order functors - MacQueen, Tofte - 1994
65 Lisp and Symbolic Computation (context) - Appel, system - 1990
55 Space-efficient closure representations - Shao, Appel - 1994 ACM DBLP
43 Formally optimal boxing (context) - Henglein, Jorgensen - 1994
25 Callee-save registers in continuation-passing style - Appel, Shao - 1992 ACM DBLP
17 Compiling Standard ML for Efficient Execution on Modern Mach.. - Shao - 1994 ACM
12 Incremental recompilation for Standard ML of New Jersey - Harper, Lee et al. - 1994 ACM
8 Representation analysis for efficient implementation of poly.. (context) - Poulsen - 1993
8 Principal signatures for high-order ML functors (context) - Tofte - 1992
4 Minimial typing derivations (context) - Bjorner - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.implemen.html): More
Cheap Deforestation for Non-strict Functional Languages - Gill (1996) (Correct)
Incremental Recompilation for Standard ML of New Jersey - Harper, Lee, Pfennig, Rollins (1994) (Correct)
Statistics on Storage Management in a Lazy Functional.. - Wild, Glaser, Hartel (1992) (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