Documents Related by Co-Citation

345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
76 Associated Types with Class – Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow - 2005
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
14 A Language for Generic Programming – Jeremy G. Siek - 2005
153 Type classes with functional dependencies – Mark P. Jones - 2000
1562 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
77 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
132 Qualified Types: Theory and Practice – Mark P Jones - 1994
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
89 Coherence for Qualified Types – Mark P. Jones - 1993
67 Generic Programming – David Musser, Alexander A. Stepanov - 1988
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
242 The standard template library – Alexander Stepanov, Meng Lee - 1994
101 An overview of the Scala programming language – Martin Odersky, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger, et al. - 2004
105 The Boost Graph Library: User Guide and Reference Manual – J G Siek, L-Q Lee, A Lumsdaine - 2002
8 Language requirements for large-scale generic libraries – Jeremy Siek, Andrew Lumsdaine - 2005
7 ML mit Typklassen – G Schneider - 2000
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995