Tag-free Garbage Collection Using Explicit Type Parameters (0)

Cached

Download Links

by Andrew Tolmach
Venue:In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming
Citations:67 - 0 self

Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
35 Dictionary-free Overloading by Partial Evaluation – Mark P. Jones
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
65 Flexible representation analysis – Zhong Shao - 1997
7 Compiling with Non-Parametric Polymorphism (Preliminary Report) – Robert Harper, Greg Morrisett
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
2 Bounded-Space Tagless Garbage Collection for First Order Polymorphic Languages – Mike McGaughey - 1995
Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Shail Aditya Gupta - 1995
35 The effectiveness of type-based unboxing – Xavier Leroy, Inria Rocquencourt - 1997
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
19 Compiler-directed Type Reconstruction for Polymorphic Languages – Shail Aditya - 1993
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
32 PROPERTIES OF AGE-BASED AUTOMATIC MEMORY RECLAMATION ALGORITHMS – Darko Stefanovic - 1999