Zhong Shao  Home/Search
Context Related
Links: ACM DBLP | yale.edu/pub/flint/publ...flextr.ps.gz web.yl.is.s.utokyo.ac.jp/...flex.ps.gz yale.edu/pub/flint/publica...flex.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: yale.edu/HTML/YALE/CS/Hy...papers (more) From: yale.edu/HTML/YALE/CS/Hy...papers Homepages: Z.Shao |
Rate this article:      (best)Comment on this article |
Abstract: Statically typed languages with Hindley-Milner polymorphism have long been compiled using inefficient and fully boxed data representations. Recently, several new compilation methods have been proposed to support more efficient and unboxed multi-word representations. Unfortunately, none of these techniques is fully satisfactory. For example, Leroy's coercion-based approach does not handle recursive data types and mutable types well. The type-passing approach (proposed by Harper and Morrisett)... (Update)
Context of citations to this paper: More
.... compiled efficiently; compilation of module programs should also be compatible with the standard typedirected compilation techniques [18, 15, 34, 35]. 1.3 Our contributions This paper presents a higher order module calculus that satisfies all of the above properties. We show...
Cited by: More
Compiling Standard ML to Java - An (Correct)
Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (Correct)
Associated Types with Class - Chakravarty, Keller, Jones, Marlow (2005) (Correct)
Active bibliography (related documents): More All
0.6: An Overview of the FLINT/ML Compiler - Shao (1997) (Correct)
0.4: Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995) (Correct)
0.4: Thesis Proposal: Data Representations and Polymorphic Languages - Morrisett (1993) (Correct)
Similar documents based on text: More All
0.4: Representation Analysis for Coercion Placement - Faxén (Correct)
0.4: Programming with Regions in the ML Kit (for Version 4) - Tofte, Birkedal, Elsman.. (2001) (Correct)
0.3: Unboxed Objects and Polymorphic Typing - Leroy (1992) (Correct)
Related documents from co-citation: More All
36: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
35: Unboxed objects and polymorphic typing - Leroy - 1992
30: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
BibTeX entry: (Update)
Z. Shao. Flexible representation analysis. In Proc. ACM SIGPLAN International Conference on Functional Programming, pages 85 - 98, 1997. http://citeseer.ist.psu.edu/shao97flexible.html More
@inproceedings{ shao97flexible,
author = "Zhong Shao",
title = "Flexible Representation Analysis",
booktitle = "International Conference on Functional Programming",
pages = "85-98",
year = "1997",
url = "citeseer.ist.psu.edu/shao97flexible.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997 ACM
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
521 Compiling with Continuations (context) - Appel - 1992 ACM
343 Principal type-schemes for functional programs (context) - Damas, Milner - 1982 DBLP
325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
222 MIPS RISC Architecture (context) - Kane, Heinrich - 1992 ACM
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994 ACM DBLP
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996 DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1994 ACM DBLP
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
162 Unboxed objects and polymorphic typing - Leroy - 1992 ACM DBLP
128 and separate compilation (context) - Leroy, modules - 1994
123 Optimizing ML with run-time code generation - Lee, Leone - 1996 ACM DBLP
90 effective dynamic compilation (context) - Auslander, Philipose et al. - 1996
79 A type-based compiler for Standard ML - Shao, Appel - 1995 ACM DBLP
77 very fast dynamic code generation system (context) - Engler, retargetable - 1996
75 Interpretation Fonctionnelle et Elimination des Coupures dan.. (context) - Girard - 1972
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
49 Design and Implementation of Code Optimizations for a Type-D.. (context) - Tarditi - 1996
43 An overview of the FLINT/ML compiler - Shao - 1997
43 Formally optimal boxing (context) - Henglein, Jorgensen - 1994 ACM DBLP
42 An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991 ACM DBLP
39 A simple applicative language: Mini-ML (context) - Clement, Despeyroux et al. - 1986 ACM DBLP
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
36 School of Computer Science (context) - Morrisett, Types - 1995
35 Typed cross-module compilation - Shao - 1997 ACM DBLP
30 the type structure of Standard ML - Harper, Mitchell - 1993
26 Dictionary-free overloading by partial evaluation - Jones - 1994 ACM DBLP
17 Compiling Standard ML for Efficient Execution on Modern Mach.. - Shao - 1994 ACM
8 A formal model of procedure calling convention - Bailey, Davidson - 1995
5 Unboxed values and polymorphic typing revisited - Thiemann - 1995 ACM DBLP
3 Representation analysis for efficient implementation of poly.. (context) - Poulsen - 1993
2 A critque of Standard ML (context) - Appel - 1993
1 Minimal typing derivations (context) - Bjorner - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/shao-zhong/papers.html): More
Unrolling Lists - Zhong Shao (1994) (Correct)
Type-Directed Continuation Allocation - Shao, Trifonov (1998) (Correct)
Inferring Type Maps during Garbage Collection - Boehm, Shao (1993) (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