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

View PDF

Download Links

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

Active Bibliography

103 Compiling with Types – Greg Morrisett - 1995
234 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
93 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995