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

940 A theory of type polymorphism in programming – Robin Milner - 1978
347 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
608 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D MacQueen - 1997
129 Typechecking records and variants in a natural extension of ML – D Remy - 1989
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
104 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
72 A Polymorphic Record Calculus and Its Compilation – Atsushi Ohori - 1995
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
54 Efficient Inference of Object Types – Jens Palsberg - 1995
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
14 Typing Abstractions and Management in a Component Framework – Frederic Doucet, Sandeep K. Shukla, Rajesh K. Gupta - 2003
19 Programming languages: Theory and practice – Robert Harper - 2002
93 Microarchitectural Exploration with Liberty – Manish Vachharajani , Neil Vachharajani, David A. Penry, Jason A. Blome, David I. August - 2002
25 An Environment for Dynamic Component Composition for Efficient Co-Design – Frederic Doucet, Sandeep Shukla, Eep Shukla, Masato Otsuka, Rajesh Gupta - 2002
44 Principal Type Schemes for Functional Programs with Overloading and Subtyping – Geoffrey S. Smith - 1994
74 The Common Lisp Object System: An overview – L DeMichiel, R Gabriel - 1987
10964 Computers and Intractability: A Guide to the Theory of NP-Completeness – M Garey, D Johnson - 1979
124 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996