Documents Related by Co-Citation

5269 Design patterns: elements of reusable objectoriented software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
17 The essence of the Iterator pattern – Jeremy Gibbons, Bruno C. D. S. Oliveira - 2006
13 A Type-theoretic Reconstruction of the Visitor Pattern – Peter Buchlovsky, Hayo Thielecke - 2005
136 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
48 Datatype-generic programming – Jeremy Gibbons
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
26 TypeCase: A Design Pattern for Type-Indexed Functions – Bruno C. d. S. Oliveira , Jeremy Gibbons - 2005
1309 Monads for functional programming – Philip Wadler - 1995
81 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
51 Generics for the masses – Ralf Hinze - 2004
7 Genericity, extensibility and type-safety in the Visitor pattern – B C d S Oliveira - 2007
89 Object-Oriented Programming Versus Abstract Data Types – William R. Cook - 1990
81 Scalable Component Abstractions – Martin Odersky, Matthias Zenger - 2005
44 Independently extensible solutions to the expression problem – Matthias Zenger, Martin Odersky - 2005
174 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
5 Making Implicit Parameters Explicit – Atze Dijkstra, S. Doaitse Swierstra - 2005