Zhong Shao  Home/Search
Context Related
| yale.edu/pub/flint/public...tic97.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The FLINT project at Yale aims to build a state-of-the-art systems environment for modern typesafe languages. One important component of the FLINT system is a high-performance type-directed compiler for SML'97 (extended with higher-order modules). The FLINT/ML compiler provides several new capabilities that are not available in other type-based compilers: ffl type-directed compilation is carried over across the higher-order module boundaries; ffl recursive and mutable data objects can use... (Update)
Cited by: More
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (Correct)
Strict Bidirectional Type Checking - Adam Chlipala Computer (Correct)
Typed Compilation of Recursive Datatypes - Vanderwaart, Dreyer, Petersen.. (Correct)
Similar documents (at the sentence level):
19.6%: Typed Common Intermediate Format - Shao (1997) (Correct)
8.4%: Flexible Representation Analysis - Shao (1997) (Correct)
Active bibliography (related documents): More All
0.5: Implementing Typed Intermediate Languages - Shao, League, Monnier (1998) (Correct)
0.3: Parameterized Signatures and Higher-Order Modules - Shao (1998) (Correct)
0.3: Transparent Modules with Fully Syntactic Signatures - Shao (1999) (Correct)
Similar documents based on text: More All
0.3: CS 690 Project Report: - Semantics And Implementation (Correct)
0.3: Representing Java Classes in a Typed Intermediate Language - League, Shao, Trifonov (1999) (Correct)
0.2: Typed Cross-Module Compilation - Shao (1998) (Correct)
Related documents from co-citation: More All
16: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
16: TALx86: A realistic typed assembly language - Morrisett, Crary et al. - 1999
13: Proof-carrying code - Necula - 1997
BibTeX entry: (Update)
Zhong Shao. An overview of the FLINT/ML compiler. In Proceedings of the 1997 ACM SIGPLAN Workshop on Types in Compilation, Kyoto, Japan, June 1997. http://citeseer.ist.psu.edu/shao97overview.html More
@inproceedings{ shao97overview,
author = "Zhong Shao",
title = "An Overview of the {FLINT/{ML}} Compiler",
booktitle = "Proc. 1997 {ACM} {SIGPLAN} Workshop on Types in Compilation ({TIC}'97)",
address = "Amsterdam, The Netherlands",
year = "1997",
url = "citeseer.ist.psu.edu/shao97overview.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
521 Compiling with Continuations (context) - Appel - 1992
325 Towards a theory of type structure (context) - Reynolds - 1974
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
210 TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1994
178 Standard ML of New Jersey - Appel, MacQueen - 1991
162 Unboxed objects and polymorphic typing - Leroy - 1992
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
98 Using dependent types to express modular structure - MacQueen - 1986
96 A survey of the project AUTOMATH (context) - de Bruijn - 1980
79 A type-based compiler for Standard ML - Shao, Appel - 1995
75 Interpretation Fonctionnelle et Elimination des Coupures dan.. (context) - Girard - 1972
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
65 A semantics for higher order functors - MacQueen, Tofte - 1994
55 Space-efficient closure representations - Shao, Appel - 1994
50 Flexible representation analysis - Shao - 1997
38 A representation of lambda terms suitable for operations on .. (context) - Nadathur, Wilson - 1990
36 School of Computer Science (context) - Morrisett, Types - 1995
35 Typed cross-module compilation - Shao - 1997
30 the type structure of Standard ML - Harper, Mitchell - 1993
16 Abstract value constructors (context) - Aitken, Reppy - 1992
11 A type-theoretic account of Standard ML (context) - Harper, Stone - 1996
11 A portable and optimizing backend for the SML/NJ compiler - George, Guillaume et al. - 1994
11 A notation for lambda terms II: Refinements and applications - Nadathur - 1994
5 as part of SML/NJ User's Guide (context) - Blume, manager et al. - 1995
2 A critque of Standard ML (context) - Appel - 1993
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