|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
55
|
Lifetime analysis of dynamically allocated objects
– C Ruggieri, T P Murtagh
- 1988
|
|
360
|
Analysis of pointers and structures
– D R Chase, M Wegman, F K Zadeck
- 1990
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
221
|
Principal type schemes for functional programs
– L Damas, H Milner
- 1982
|
|
210
|
Polymorphic effect systems
– John M. Lucassen, David K. Gifford
- 1988
|
|
180
|
Control Flow Analysis in Scheme
– Olin Shivers
- 1988
|
|
37
|
Unify and conquer (garbage, updating, aliasing, ...) in functional languages
– H G Baker
- 1990
|
|
83
|
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
– Laurie Hendren, Joseph Hummel, Alexandru Nicolau
- 1992
|
|
312
|
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
– William Landi, Barbara G. Ryder
- 1992
|
|
211
|
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting
– Alain Deutsch
- 1994
|
|
56
|
Types and effects. towards the integration of functional and imperative programming
– J M Lucassen
- 1987
|
|
152
|
Detecting conflicts between structure accesses
– J R Larus, P N Hilfinger
- 1988
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
61
|
Runtime Tags Aren't Necessary
– Andrew W. Appel, Andrew W
- 1988
|
|
67
|
Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract)
– Erik Barendsen, Sjaak Smetsers
- 1993
|
|
22
|
Proving Memory Management Invariants for a Language Based on Linear Logic
– Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
- 1992
|
|
30
|
Polymorphic Type Reconstruction for Garbage Collection without Tags
– Benjamin Goldberg, Michael Gloger
- 1992
|
