How Good is Local Type Inference? (1999)

Cached

Download Links

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

Documents Related by Co-Citation

939 A theory of type polymorphism in programming – Robin Milner - 1978
56 Colored Local Type Inference – Martin Odersky, Matthias Zenger, Matthias Zenger - 2001
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
172 Refinement types for ML – Tim Freeman - 1994
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
62 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996
187 Soft typing with conditional types – Er Aiken - 1994
711 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
702 Types and programming languages – Benjamin C Pierce - 2002
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
1312 Monads for functional programming – Philip Wadler - 1995
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991