Yasuhiko Minamide, Greg Morrisett, Robert Harper  Home/Search
Context Related
Links: ACM DBLP | cornell.edu/home/j...closuresummary.ps score.is.tsukuba.ac.jp/~min...popl96.ps cornell.edu/Info/P...closuresummary.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: cornell.edu/home/jgm/papers (more) From: cornell.edu Homepages: Y.Minamide |
Rate this article:      (best)Comment on this article |
Abstract: Closure conversion is a program transformation used by compilers to separate code from data. Previous accounts of closure conversion use only untyped target languages. Recent studies show that translating to typed target languages is a useful methodology for building compilers, because a compiler can use the types to implement efficient data representations, calling conventions, and tag-free garbage collection. Furthermore, type-based translations facilitate security and debugging through... (Update)
Cited by: More
Deciding Type Equivalence in a Language with Singleton Kinds - Stone, Harper (1999) (Correct)
From System F to Typed Assembly Language - Greg Morrisett David (1998) (Correct)
Sound and Complete Elimination of Singleton Kinds - Crary (2005) (Correct)
Similar documents (at the sentence level):
26.5%: Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (Correct)
Active bibliography (related documents): More All
0.1: Concurrent, Atomic Garbage Collection - Detlefs (1991) (Correct)
0.1: Polymorphic Type Reconstruction for Garbage Collection without .. - Goldberg, Gloger (1992) (Correct)
0.1: Collecting More Garbage - Fradet (1994) (Correct)
Similar documents based on text: More All
0.3: A Functional Representation of Data Structures with a Hole - Yasuhiko Minamide Research (1998) (Correct)
0.2: Runtime Behavior of Conversion Interpretation of Subtyping - Minamide (Correct)
0.1: A New Criterion for Safe Program Transformations - Minamide (2000) (Correct)
Related documents from co-citation: More All
50: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
44: Compiling with Continuations (context) - Appel - 1992
37: Unboxed objects and polymorphic typing - Leroy - 1992
BibTeX entry: (Update)
Y. Minamide, G. Morrisett, and R. Harper. Typed closure conversion. In Conference Record of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1996. ACM. http://citeseer.ist.psu.edu/minamide96typed.html More
@inproceedings{ minamide96typed,
author = "Yasuhiko Minamide and J. Gregory Morrisett and Robert Harper",
title = "Typed Closure Conversion",
booktitle = "Symposium on Principles of Programming Languages",
pages = "271-283",
year = "1996",
url = "citeseer.ist.psu.edu/minamide96typed.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992 ACM
215 A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995 ACM DBLP
106 The categorical abstract machine (context) - Cousineau, Curien et al. - 1985 ACM DBLP
101 ACM Transaction on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
84 Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985 ACM
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
63 Laboratory for the Foundations of Computer Science (context) - Harper, MacQueen et al. - 1986
58 Java intermediate bytecodes (context) - Gosling - 1995 ACM
56 Explicit polymorphism and CPS conversion - Harper, Lillibridge - 1993 ACM DBLP
41 Equality between functionals (context) - Friedman - 1975
29 The functional abstract machine (context) - Cardelli - 1983
23 A type system for closure conversion - Hannan - 1995
15 Continuation-passing (context) - Appel, Jim - 1989
7 Heap storage management for the programming language Pascal (context) - Britton - 1975
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cs.cornell.edu/home/jgm/papers.html): More
Typed Closure Conversion for Recursively-Defined Functions.. - Morrisett, Harper (1998) (Correct)
Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (Correct)
From System F to Typed Assembly Language (Extended Version) - Morrisett, Walker, Crary.. (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