Andrew Tolmach  Home/Search
Context Related
Links: ACM DBLP | pdx.edu/pub/faculty/apt...tagfree_gc.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: cs.ukc.ac.uk/people/staf...gcbibT (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have constructed a practical tag-free garbage collector based on explicit type parameterization of polymorphic functions, for a dialect of ML. The collector relies on type information derived from an explicitly-typed 2nd-order representation of the program, generated by the compiler as a byproduct of ordinary Hindley-Milner type inference. Runtime type manipulations are performed lazily to minimize execution overhead. We present details of our implementation approach, and preliminary... (Update)
Cited by: More
Typed Closure Conversion - Yasuhiko Minamide Greg (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Compiling with Non-Parametric Polymorphism - Preliminary Report Robert (Correct)
Active bibliography (related documents): More All
0.2: Functional Encapsulation and Type Reconstruction in a.. - Gupta (1995) (Correct)
0.1: TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
0.1: Dictionary-free Overloading by Partial Evaluation - Jones (1994) (Correct)
Similar documents based on text: More All
0.2: On The Type Structure of Standard ML - Robert Harper Carnegie-Mellon (1993) (Correct)
0.1: Modular Lazy Search for Constraint Satisfaction Problems - Nordin, Tolmach (2001) (Correct)
0.1: From ML to Ada: Strongly-typed Language Interoperability via.. - Tolmach, Oliva (1993) (Correct)
Related documents from co-citation: More All
38: Unboxed objects and polymorphic typing - Leroy - 1992
35: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
33: Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
BibTeX entry: (Update)
Andrew Tolmach. Tag-free garbage collection using explicit type parameters. In LFP '94 [30], pages 1--11. http://citeseer.ist.psu.edu/52227.html More
@inproceedings{ tolmach94tagfree,
author = "Andrew P. Tolmach",
title = "Tag-Free Garbage Collection Using Explicit Type Parameters",
booktitle = "{LISP} and Functional Programming",
pages = "1-11",
year = "1994",
url = "citeseer.ist.psu.edu/52227.html" }
Citations (may not include all citations):521 Compiling with Continuations (context) - Appel - 1992 ACM
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989 ACM
167 Garbage collection in an uncooperative environment (context) - Boehm, Weiser - 1988
162 Unboxed objects and polymorphic typing - Leroy - 1992 ACM DBLP
146 The Glasgow Haskell compiler: a technical overview - Jones, Hall et al. - 1993
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
65 Lisp and Symbolic Computation (context) - Appel, aren't - 1989
56 Documentation and User's Manual (context) - Leroy, Mauny et al. - 1993
42 An ad hoc approach to the implementation of polymorphism - Morrison, Dearle et al. - 1991 ACM DBLP
37 Polymorphism for imperative languages without imperative typ.. - Wright - 1993
33 Implementing haskell overloading - Augustsson - 1993 ACM DBLP
30 the type structure of standard ml - Harper, Mitchell - 1993
26 Polymorphic type reconstruction for garbage collection witho.. - Goldberg, Gloger - 1992 ACM DBLP
23 Garbage collection for strongly-typed languages using run-ti.. - Aditya, Flood - 1994 ACM DBLP
18 Implementing type classes - Peterson, Jones - 1993 ACM DBLP
18 Partial evaluation for dictionary-free overloading - Jones - 1993
15 Compiler-directed type reconstruction for polymorphic langua.. - Aditya, Caro - 1993 ACM DBLP
10 Debugging Standard ML (context) - Tolmach - 1992 ACM
1 Compiling with nonparamteric polymorphism (context) - Harper, Morrisett - 1994
1 Tag-free garbage collection for strongly typed polymorphic l.. (context) - Goldberg - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ukc.ac.uk/people/staff/rej/gcbib/gcbibT.html): More
When Virtual Memory Isn't Enough - Thomborson (1996) (Correct)
Measuring the Cost of Storage Management - David Tarditi (1994) (Correct)
Programming with Regions in the ML Kit - Tofte, al. (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