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

Cached

Download Links

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

Documents Related by Co-Citation

52 Concrete Type Inference: Delivering Object-Oriented Applications – Ole Agesen - 1995
702 Types and programming languages – Benjamin C Pierce - 2002
47 Inferring Types in Smalltalk – N Suzuki - 1981
168 Back to the future: The story of Squeak, A practical Smalltalk written in itself – Dan Ingalls, Dan Ingalls, Ted Kaehler, Ted Kaehler, John Maloney, John Maloney, Scott Wallace, Scott Wallace, Alan Kay, Walt Disney Imagineering - 1997
74 Traits: A mechanism for fine-grained reuse – Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Andrew P. Black - 2006
54 Precise constraint-based type inference for Java – Tiejun Wang, Scott F. Smith - 2001
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
54 The semantics of Scheme control-flow analysis – Olin Shivers - 1991
110 Call Graph Construction in Object-Oriented Languages – David Grove - 1997
298 Control-Flow Analysis of Higher-Order Languages – Olin Shivers - 1991
102 The Cartesian Product Algorithm - Simple and Precise Type Inference of Parametric Polymorphism – Ole Agesen - 1995
9 Persephone: Taking Smalltalk reflection to the sub-method level – P Marschall - 2006
3 pluggable type checking for dynamic programming languages – T Allwood, Fleece - 2006
3 a fast type reconstructor for Smalltalk, http://decomp. ulb.ac.be/roelwuyts/smalltalk/roeltyper – R Wuyts, RoelTyper - 2005
35 Type-Checking and Type-Inference for Object-Oriented Programming Languages – Justin Owen Graver - 1989
158 Object-Oriented Type Systems – J Palsberg, M I Schwartzbach - 1994
44 A type declaration and inference system for smalltalk – A H Borning, D H H Ingalls - 1982
86 Strongtalk: Typechecking Smalltalk in a Production Environment – Gilad Bracha, David Griswold - 1993
5 Types and reflections – L E Alanko - 2004