Documents Related by Co-Citation

939 A theory of type polymorphism in programming – Robin Milner - 1978
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
132 Qualified types: Theory and practice – M P Jones - 1992
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
367 ML for the Working Programmer – Laurence C Paulson - 1991
41 A Second Look at Overloading – Martin Odersky, Philip Wadler, Martin Wehr - 1995
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
153 Type classes with functional dependencies – Mark P. Jones - 2000
234 Principal type schemes for functional programs – R Milner - 1982
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
154 De Bruijn, Lambda calculus notation with nameless dummies: A tool for automatic formula manipulation, with application to the church-rosser theorem, Indagationes Mathematicae 34 – N G - 1972
98 Seventy-five Problems for Testing Automatic Theorem Provers – F J Pelletier - 1986
32 Sound and Decidable Type Inference for Functional Dependencies – Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, Martin Sulzmann - 2004
38 Parametric type classes – Kung Chen, Paul Hudak, Martin Odersky - 1992
89 Coherence for Qualified Types – Mark P. Jones - 1993
35 Proof Terms for Simply Typed Higher Order Logic – Stefan Berghofer, Tobias Nipkow - 2000