Polytypic Values Possess Polykinded Types (2000)

by Ralf Hinze
Citations:107 - 20 self

Documents Related by Co-Citation

178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
40 A Generic Programming Extension for Haskell – Ralf Hinze - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
68 Dependency-style Generic Haskell – Andres Löh, Dave Clarke, Johan Jeuring - 2003
59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
121 Implementing Type Classes – John Peterson, Mark Jones
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
36 Generic haskell, specifically – Dave Clarke, Andres Löh - 2003
326 Theorems for free! – Philip Wadler - 1989
22 Polytypic compact printing and parsing – Patrik Jansson, Johan Jeuring - 1999
31 The Generic HASKELL User's Guide – Dave Clarke, Dæv Clarke, Ralf Hinze, Johan Jeuring, Jan de Wit, Andres Löh, What Is Generic H A - 2001
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
65 Generic Haskell: practice and theory – Ralf Hinze, Johan Jeuring - 2003
53 Scrap your boilerplate: a practical approach to generic programming – Ralf Lämmel, Simon Peyton Jones - 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
105 Data structures and program transformation – G Malcolm - 1990
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002