Associated Types with Class (2005)

Cached

Download Links

by Manuel M. T. Chakravarty , Gabriele Keller , Simon Peyton Jones , Simon Marlow
Venue:In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Citations:75 - 22 self

Documents Related by Co-Citation

75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
76 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
153 Type classes with functional dependencies – Mark P. Jones - 2000
26 Essential language support for generic programming – Jeremy Siek, Andrew Lumsdaine - 2005
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
246 The standard template library – Alexander Stepanov, Meng Lee - 1994
363 Towards a theory of type structure – J C Reynolds - 1974
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
136 J.C.: F-bounded polymorphism for object-oriented programming – P Canning, W Cook, W Hill, W Olthoff, Mitchell - 1989
106 The Boost Graph Library. User Guide and Reference – J G Siek, L Lee, A Lumsdaine - 2002
132 Qualified types: Theory and practice – M P Jones - 1992
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
78 A Statically Safe Alternative to Virtual Types – Kim B. Bruce, Martin Odersky, Philip Wadler - 1998
48 Parametric overloading in polymorphic programming languages – S Kaes - 1988
101 An overview of the Scala programming language – Martin Odersky, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger, et al. - 2004
83 A Type System for Higher-Order Modules – Derek Dreyer, Karl Crary, Robert Harper - 2003