|
38
|
Tag-free garbage collection for strongly typed programming languages
– Benjamin Goldberg
- 1991
|
|
266
|
Garbage Collection in an Uncooperative Environment
– H-J Boehm, M Weiser
- 1988
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
65
|
Tag-free Garbage Collection Using Explicit Type Parameters
– Andrew Tolmach
|
|
148
|
Dynamic Typing in a Statically Typed Language
– Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin
- 1989
|
|
146
|
Typed closure conversion
– Yasuhiko Minamide, Greg Morrisett, Robert Harper
- 1996
|
|
28
|
Polymorphic Typing of an Algorithmic Language
– X Leroy
- 1992
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
874
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
280
|
Natural semantics
– G. Kahn
- 1987
|
|
1497
|
The Definition of Standard ML
– Robin Milner, Mads Tofte, Robert Harper
- 1990
|
|
6
|
Herbrand Constraint Solving in HAL
– Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey
- 1999
|
|
9
|
Extending the Warren Abstract Machine to Polymorphic Order-sorted Resolution
– C Beierle, G Meyer, H Semele
- 1991
|
|
54
|
The execution algorithm of Mercury, an ecient purely declarative logic programming language
– Z Somogyi, F Henderson, T Conway
- 1996
|
|
12
|
A Machine-Independent Debugger
– David R. Hanson, Mukund Raghavachari
- 1995
|
|
18
|
Compiler-directed Type Reconstruction for Polymorphic Languages
– Shail Aditya
- 1993
|
|
17
|
Implementing Polymorphic Typing in a Logic Programming Language
– Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
- 1993
|
|
27
|
The Mercury Language Reference Manual
– Fergus Henderson, Thomas Conway, Zoltan Somogyi, David Jeffery, Peter Schachte, Simon Taylor, Chris Speirs
- 1996
|
|
29
|
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
– Shail Aditya, Christine H. Flood, James E. Hicks
- 1994
|
