|
85
|
Is there a use for linear logic?
– Philip Wadler
- 1991
|
|
30
|
Polymorphic Type Reconstruction for Garbage Collection without Tags
– Benjamin Goldberg, Michael Gloger
- 1992
|
|
272
|
Computational Interpretations of Linear Logic
– Samson Abramsky
- 1993
|
|
65
|
Tag-free Garbage Collection Using Explicit Type Parameters
– Andrew Tolmach
|
|
67
|
Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract)
– Erik Barendsen, Sjaak Smetsers
- 1993
|
|
29
|
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
– Shail Aditya, Christine H. Flood, James E. Hicks
- 1994
|
|
17
|
Collecting More Garbage
– Pascal Fradet
- 1994
|
|
38
|
Tag-free garbage collection for strongly typed programming languages
– Benjamin Goldberg
- 1991
|
|
61
|
Runtime Tags Aren't Necessary
– Andrew W. Appel, Andrew W
- 1988
|
|
64
|
A Semantic Model of Reference Counting and its Abstraction
– Paul Hudak
- 1986
|
|
89
|
The linear abstract machine
– Y Lafont
- 1988
|
|
89
|
Abstract Models of Memory Management
– Greg Morrisett, Matthias Felleisen, Robert Harper
- 1995
|
|
488
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
|
18
|
Compiler-directed Type Reconstruction for Polymorphic Languages
– Shail Aditya
- 1993
|
|
15
|
Ascheme for storage allocation and garbage collection for Algol-68
– P Branquart, J Lewi
- 1970
|
|
8
|
Methods of garbage collection for Algol-68
– P Wodon
- 1970
|
|
37
|
Unify and conquer (garbage, updating, aliasing, ...) in functional languages
– H G Baker
- 1990
|
|
51
|
Combining generational and conservative garbage collection: framework and implementations
– A Demers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker
- 1990
|
|
16
|
Heap storage management for the programming language Pascal
– D E Britton
- 1975
|
