A Second Look at Overloading (1995)

Cached

Download Links

by Martin Odersky , Philip Wadler , Martin Wehr
Citations:41 - 6 self

Documents Related by Co-Citation

345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
939 A theory of type polymorphism in programming – Robin Milner - 1978
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
132 Qualified types: Theory and practice – M P Jones - 1992
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
14 Typing Abstractions and Management in a Component Framework – Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta - 2003
25 An Environment for Dynamic Component Composition for Efficient Co-Design – Frederic Doucet, Sandeep Shukla, Eep Shukla, Masato Otsuka, Rajesh Gupta - 2002
93 Microarchitectural Exploration with Liberty – Manish Vachharajani , Neil Vachharajani, David A. Penry, Jason A. Blome, David I. August - 2002
19 Programming languages: Theory and practice – Robert Harper - 2002
44 Principal Type Schemes for Functional Programs with Overloading and Subtyping – Geoffrey S. Smith - 1994
10988 Computers and Intractability: A Guide to the Theory of NP-completeness – M Garey, D Johnson - 1979
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
23 Type Reconstruction for Type Classes – Tobias Nipkow, Christian Prehofer - 1995
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993