Documents Related by Co-Citation

935 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
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
90 Type inference with constrained types’, Theory and Practice of Object Systems 5(1 – M Sulzmann, M, M Wehr - 1999
41 A Second Look at Overloading – Martin Odersky, Philip Wadler, Martin Wehr - 1995
356 Principal type-schemes for functional programs – L Damas, R Milner - 1982
233 Principal type schemes for functional programs – L Damas, R Milner - 1982
366 ML for the Working Programmer – L C Paulson - 1991
153 Type classes with functional dependencies – Mark P. Jones - 2000
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
89 Coherence for Qualified Types – Mark P. Jones - 1993
54 A theory of primitive objects: second-order systems – Martín Abadi, Luca Cardelli
54 A Feature Interaction Benchmark for IN and Beyond – E. Jane Cameron, Nancy D. Griffeth, Yow-Jian LIN Margaret E. NILSON, Yow-jian Lin, Margaret E. Nilson, William K. SCHNURE, Hugo Velthuijsen - 1994
158 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
16 An Introduction to Gofer 2.20 – M P Jones - 1991