Documents Related by Co-Citation

67 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
45 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
33 Generic Haskell, specifically – Dave Clarke, Andres Löh - 2002
102 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
161 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
38 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
71 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
52 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
29 Generalizing Generalized Tries – Ralf Hinze - 1999
32 Generic Programs and Proofs – Ralf Hinze - 2000
63 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
27 The derivative of a regular type is its type of one-hole contexts (extended abstract), 2001. Unpublished manuscript, available via http://strictlypositive.org/diff.pdf. Conor McBride and Ross Paterson. Applicative programming with effects – Conor Mcbride
69 A Comparative Study of Language Support for Generic Programming – Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy Siek, Jeremiah Willcock - 2003
41 Generics for the masses – R Hinze - 1998
274 Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
28 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
132 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
252 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
27 Inductive families need not store their indices – Edwin Brady, Conor Mcbride, James Mckinna - 2004