Compiler-directed Type Reconstruction for Polymorphic Languages (1993)

View PDF

Download Links

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

Documents Related by Co-Citation

65 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
32 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992
39 Tag-free garbage collection for strongly typed programming languages – B Goldberg - 1991
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
381 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
449 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
69 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach