Compiler-directed Type Reconstruction for Polymorphic Languages (1993)

Cached

Download Links

by Shail Aditya
Venue:In Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture
Citations:19 - 2 self

Documents Related by Co-Citation

31 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
38 Tag-free garbage collection for strongly typed programming languages – Benjamin Goldberg - 1991
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
38 Unify and Conquer (Garbage, Updating, Aliasing) in Functional Languages – H G BAKER - 1990
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
8 Methods of garbage collection for Algol-68 – P Wodon - 1970
17 Collecting More Garbage – Pascal Fradet - 1994
67 A Semantic Model of Reference Counting and its Abstraction – Paul Hudak - 1986
17 A scheme of storage allocation and garbage collection for ALGOL 68 – P Branquart, J Lewi - 1970
18 Heap Storage Management for the Programming Language Pascal – Dianne E Britton - 1975
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
55 Combining generational and conservative garbage collection: Framework and implementations – A Demmers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker - 1990
23 Proving Memory Management Invariants for a Language Based on Linear Logic – Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke - 1992
8 A Larch Specification of Copying Garbage Collection – Scott Nettles - 1992