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

View PDF

Download Links

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

Documents Related by Co-Citation

760 Types and Programming Languages – Benjamin C Pierce - 2002
985 A theory of type polymorphism in programming – Robin Milner - 1978
594 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
685 A Survey of Program Slicing Techniques – F. Tip - 1995
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
55 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
575 Perspectives on Program Analysis – Flemming Nielson - 1996
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000