How Good is Local Type Inference? (1999)

Cached

Download Links

by Haruo Hosoya , Benjamin C. Pierce
Citations:166 - 4 self

Active Bibliography

Colored Local Type Inference – Martin Odersky Christoph, Christoph Zenger, Matthias Zenger - 2001
4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
11 Simple Usage Polymorphism – Keith Wansbrough, Simon Peyton Jones - 2000
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
2 Should ML be object-oriented? – David MacQueen
23 A Framework for Type Inference with Subtyping – François Pottier - 1998
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
20 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
11 Polyvariant Flow Analysis with Constrained Types – Scott F. Smith, Tiejun Wang - 2000
12 Second-order unification and type inference for Church-style polymorphism – Aleksy Schubert - 1998
5 Entailment of Non-Structural Subtype Constraints – Joachim Niehren, Tim Priesnitz - 1999
On Type Systems for Object-Oriented Database Programming Languages – Duane Szafron
33 Effective Static Debugging via Componential Set-Based Analysis – Cormac Flanagan - 1997
1 Precise Inference of Polymorphic Constrained Types – Scott F. Smith, Tiejun Wang - 2000
68 Polymorphic versus monomorphic flow-insensitive points-to analysis for C – Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken - 2000
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
5 Compiling with Polymorphic and Polyvariant Flow Types – Franklyn Turbak, Allyn Dimock, Robert Muller, J. B. Wells - 1997
30 Program Analysis Using Mixed Term and Set Constraints – Manuel Fähndrich, Alexander Aiken - 1997
114 Partial Online Cycle Elimination in Inclusion Constraint Graphs – Manuel Fähndrich , Jeffrey S. Foster, Zhendong Su, Alexander Aiken - 1998