How Good is Local Type Inference? (1999)

Cached

Download Links

by Haruo Hosoya , Benjamin C. Pierce
Citations:171 - 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
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
11 Simple Usage Polymorphism – Keith Wansbrough, Simon Peyton Jones - 2000
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
23 A Framework for Type Inference with Subtyping – Fran├žois Pottier - 1998
3 Polymorphic Constraint-Based Type Inference for Objects – Tiejun Wang, Scott F. Smith
2 Should ML be object-oriented? – David MacQueen
345 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998