Documents Related by Co-Citation

68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
35 Generic Haskell, Specifically – D Clarke, A Löh - 2002
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
175 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
92 The zipper – Gérard Huet, Inria Rocquencourt France - 1997
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
36 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
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 2003
32 Generic Programs and Proofs – Ralf Hinze - 2000
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
51 Generics for the masses – Ralf Hinze - 2004
302 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
51 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
37 Inductive families need not store their indices – Edwin Brady, Conor Mcbride, James Mckinna - 2004
44 Epigram: Practical programming with dependent types – C McBride - 2004