Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells  Home/Search
Context Related
| bu.edu/groups/chur...dreprtrans.ps.gz bc.edu/~muller/postscript...icfp97.ps.Z bc.edu/~muller/postscript...icfp97.ps.Z 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/lyn (more) From: bc.edu/~muller/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Allyn Dimock Harvard University Robert Muller Boston College Franklyn Turbak Wellesley College J. B. Wells Glasgow University Topic Areas: compilation, lambda calculus, intersection and union types, typed flow analysis, closure conversion, inlining Abstract We present a new framework for transforming data representations in a strongly typed intermediate language. Our method allows both value producers (sources) and value consumers (sinks) to support multiple representations, ... (Update)
Cited by: More
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2002) (Correct)
A Typed Intermediate Language for Flow-Directed Compilation - Wells, Dimock, Muller.. (1997) (Correct)
Program Representation Size in an Intermediate.. - Dimock.. (2000) (Correct)
Similar documents (at the sentence level):
70.6%: Strongly Typed Flow-Directed Representation Transformations - Dimock, Muller, Turbak.. (1997) (Correct)
63.0%: Strongly Typed Flow-Directed Representation.. - Dimock, Muller.. (1997) (Correct)
Active bibliography (related documents): More All
0.6: A Calculus with Polymorphic and Polyvariant Flow Types - Wells, Dimock, Muller, Turbak (1999) (Correct)
0.5: Compiling with Polymorphic and Polyvariant Flow Types - Turbak, Dimock, Muller, Wells (1997) (Correct)
0.1: From ML to Ada: Strongly-typed Language Interoperability via.. - Tolmach, Oliva (1993) (Correct)
Similar documents based on text: More All
0.4: Correct Separate and Selective Closure Conversion - Steckler (Correct)
Related documents from co-citation: More All
15: and type-based closure analysis (context) - Banerjee, modular - 1996
15: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
13: Control-flow analysis and type systems - Heintze - 1995
BibTeX entry: (Update)
Allyn Dimock, Robert Muller, Franklyn Turbak, and J. B. Wells. Strongly typed flow-directed representation transformations. In 1997 ACM SIGPLAN International Conference on Functional Programming, pages 11--24, Amsterdam, June 1997. http://citeseer.ist.psu.edu/article/dimock97strongly.html More
@inproceedings{ dimock97strongly,
author = "Allyn Dimock and Robert Muller and Franklyn Turbak and J. B. Wells",
title = "Strongly typed flow-directed representation transformations",
booktitle = "Proceedings of the {ACM} {SIGPLAN} International Conference on Functional Programming ({ICFP}-97)",
volume = "32,8",
month = "9--11~",
publisher = "ACM Press",
address = "New York",
pages = "11--24",
year = "1997",
url = "citeseer.ist.psu.edu/article/dimock97strongly.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992
220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
176 Control Flow Analysis of Higher Order Languages (context) - Shivers - 1991
157 Soft typing with conditional types - Aiken, Wimmers et al.
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
138 Typed closure conversion - Minamide, Morrisett et al.
118 What are principal typings and what are they good - Jim
89 closure-passing style (context) - Appel, Jim - 1989
76 Type inference for recursively constrained types and its app.. - Eifrig, Smith et al. - 1995
68 Subtyping constrained types - Trifonov, Smith - 1996
55 A unified treatment of flow analysis in higher-order languag.. - Jagannathan, Weeks - 1995
53 Control-flow analysis and type systems - Heintze - 1995
52 Programming with intersection types (context) - Pierce - 1991
49 and type-based closure analysis (context) - Banerjee, modular - 1997
47 Intersection and union types: Syntax and semantics (context) - Barbanera, Dezani-Ciancaglini et al. - 1995
45 Flow-directed inlining - Jagannathan, Wright - 1996
39 Massachusetts Institute of Technology (context) - Steele, for et al. - 1978
38 Design of the programming language Forsythe - Reynolds - 1996
38 Selective and lightweight closure conversion - Wand, Steckler
37 Compiling with Types (context) - Morrisett - 1995
35 New notions of reduction and nonsemantic proofs of fi-strong.. (context) - Kfoury, Wells - 1995
30 A typed intermediate language for flow-directed compilation - Wells, Dimock et al. - 1997
23 Type systems for closure conversion - Hannan - 1995
18 Intersection Type Disciplines in Lambda Calculus and Applica.. (context) - van Bakel - 1993
17 Compiling Standard ML for Efficient Execution on Modern Mach.. - Shao - 1994
17 Rank-2 type systems and recursive definitions - Jim - 1995
14 Principles of Programming Languages (context) - Rec, Ann - 1994
14 rd ACM Symp (context) - Rec - 1996
9 Combining closure conversion with closure analysis using alg.. - Tolmach - 1997
7 Lambda calculi with types (context) - Barendregt - 1992
5 Intersection types revisited in the Church style (context) - Wells - 1996
5 Iterative flow analysis - Plevyak, Chien - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ftp-swiss.ai.mit.edu/~lyn/lyn.html):
A Typed Intermediate Language for Flow-Directed Compilation - Wells, Dimock, Muller.. (1997) (Correct)
Compiling with Polymorphic and Polyvariant Flow Types - Turbak, Dimock, Muller, Wells (1997) (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