Documents Related by Co-Citation

944 A theory of type polymorphism in programming – Robin Milner - 1978
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
125 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
132 Qualified Types: Theory and Practice – M P Jones - 1992
367 ML for the Working Programmer – L Paulson - 1996
179 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
366 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
93 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999