Documents Related by Co-Citation

345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
75 Associated Types with Class – Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow - 2005
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
67 Generic Programming – David Musser, Alexander A. Stepanov - 1988
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
246 The standard template library – Alexander Stepanov, Meng Lee - 1994
106 The Boost Graph Library. User Guide and Reference – J G Siek, L Lee, A Lumsdaine - 2002
97 A Nominal Theory of Objects with Dependent Types – Martin Odersky, Vincent Cremet, Christine Röckl, Matthias Zenger - 2002
34 Concept Checking: Binding Parametric Polymorphism in C++ – Jeremy Siek , Andrew Lumsdaine - 2000
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
14 A Language for Generic Programming – Jeremy G. Siek - 2005
76 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
5242 Design Patterns: Elements of Reusable Object-Oriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1994
153 Type classes with functional dependencies – Mark P. Jones - 2000
43 Adding wildcards to the Java programming language – Mads Torgersen, Christian Plesner Hansen, Erik Ernst - 2004
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
363 Towards a theory of type structure – J C Reynolds - 1974