J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak  Home/Search
Context Related
| mit.edu/~lyn/pubs/fase97.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: mit.edu/~lyn/pubs/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a typed intermediate language # CIL for optimizing compilers for function-oriented and polymorphically typed programming languages (e.g., ML). The language # CIL is a typed lambda calculus with product, sum, intersection, and union types as well as function types annotated with flow labels. A novel formulation of intersection and union types supports encoding flow information in the typed program representation. This flow information can direct optimization. (Update)
Cited by: More
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
Strongly Typed Flow-Directed Representation Transformations - Dimock, Muller, Turbak.. (1997) (Correct)
Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (Correct)
Similar documents (at the sentence level):
67.2%: A Typed Intermediate Language for Flow-Directed Compilation - Wells, Dimock, Muller.. (1997) (Correct)
8.5%: A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (Correct)
Active bibliography (related documents): More All
1.1: Strongly Typed Flow-Directed Representation.. - Dimock, Muller.. (1997) (Correct)
0.5: Compiling with Polymorphic and Polyvariant Flow Types - Turbak, Dimock, Muller, Wells (1997) (Correct)
0.3: A Computationally Sound Call-by-Value Module Calculus - Machkasova, Turbak (2001) (Correct)
Similar documents based on text: More All
1.3: Program Representation Size in an Intermediate.. - Dimock.. (2001) (Correct)
1.1: Space Issues in Compiling with Intersection and Union.. - Dimock, Westmacott.. (2000) (Correct)
Related documents from co-citation: More All
16: Control-Flow Analysis of Higher-Order Languages (context) - Shivers - 1991
16: Control-flow analysis and type systems - Heintze - 1995
13: A unified treatment of flow analysis in higher-order languages - Jagannathan, Weeks - 1995
BibTeX entry: (Update)
Joe Wells, Allyn Dimock, Robert Muller, and Franklyn Turbak. A typed intermediate language for flow-directed compilation. In Proc. TAPSOFT'97, Theory and Practice of Software Development. Springer-Verlag (LNCS ), 1997. http://citeseer.ist.psu.edu/article/wells97typed.html More
@inproceedings{ wells97typed,
author = "J. B. Wells and Allyn Dimock and Robert Muller and Franklyn A. Turbak",
title = "A Typed Intermediate Language for Flow-Directed Compilation",
booktitle = "{TAPSOFT}",
pages = "757--771",
year = "1997",
url = "citeseer.ist.psu.edu/article/wells97typed.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
325 Towards a theory of type structure (context) - Reynolds - 1974
210 TIL: A typedirected optimizing compiler for ML - Tarditi, Morrisett et al. - 1996
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
162 Unboxed objects and polymorphic typing - Leroy - 1992
157 Soft typing with conditional types - Aiken, Wimmers et al.
138 Typed closure conversion - Minamide, Morrisett et al.
118 What are principal typings and what are they good - Jim
79 A type-based compiler for Standard ML - Shao, Appel - 1995
75 Interpretation Fonctionnelle et Elimination des Coupures de .. (context) - Girard - 1972
68 Subtyping constrained types - Trifonov, Smith - 1996
53 Control-flow analysis and type systems - Heintze - 1995
52 Programming with intersection types (context) - Pierce - 1991
50 Compiling Haskell by program transformation: A report from t.. - Jones - 1996
49 and type-based closure analysis (context) - Banerjee, modular
47 Intersection and union types: Syntax and semantics (context) - Barbanera, Dezani-Ciancaglini et al. - 1995
45 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - van Bakel - 1993
38 Design of the programming language Forsythe - Reynolds - 1996
38 Selective and lightweight closure conversion - Wand, Steckler
37 Compiling with Types (context) - Morrisett - 1995
31 Strongly typed flow-directed representation transformations - Dimock, Muller et al.
31 Henk: A typed intermediate language - Jones, Meijer - 1997
30 A typed intermediate language for flow-directed compilation - Wells, Dimock et al. - 1997
26 Dictionary-free overloading by partial evaluation - Jones - 1994
25 A calculus with polymorphic and polyvariant flow types - Wells, Dimock et al.
23 Type systems for closure conversion - Hannan - 1995
14 rd ACM Symp (context) - Conf, POPL - 1996
6 ACM Symp (context) - Conf, st - 1994
5 Intersection types revisited in the Church style (context) - Wells - 1996
2 Minimal typing derivations (context) - Bjrner - 1994
2 Compiling Standard ML for E#cient Execution on Modern Machin.. (context) - Shao - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://swissnet.ai.mit.edu/~lyn/pubs/index.html): More
A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (Correct)
Robotic Design Studio: Exploring the Big Ideas of Engineering.. - Turbak, Berg (2005) (Correct)
Cycle Therapy: A Prescription for Fold and Unfold on Regular.. - Turbak, Wells (2001) (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