Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (2004)

Cached

Download Links

by S. Alexander Spoon , Olin Shivers
Citations:13 - 2 self

Documents Related by Co-Citation

721 Types and programming languages – Benjamin C Pierce - 2002
52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
944 A theory of type polymorphism in programming – Robin Milner - 1978
566 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
639 A Survey of Program Slicing Techniques – F. Tip - 1995
5418 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
896 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
543 Perspectives on Program Analysis – Flemming Nielson - 1996