Generic programming with fixed points for mutually

Generic programming with fixed points for mutually (2008)

Cached

Download Links

by Alexey Rodriguez , Stefan Holdermans , Andres Löh , Johan Jeuring

Citations:

BibTeX

@MISC{Rodriguez08genericprogramming,
    author = {Alexey Rodriguez and Stefan Holdermans and Andres Löh and Johan Jeuring},
    title = {Generic programming with fixed points for mutually },
    year = {2008}
}

Bookmark

OpenURL

Abstract

Citations

274	Functional programming with bananas, lenses, envelopes and barbed wire - Meijer, Fokkinga, et al. - 1991
161	PolyP—A polytypic programming language extension - Jansson, Jeuring - 1997
135	Template metaprogramming for Haskell - Sheard, Jones - 2002
129	Simple unification-based type inference for GADTs - Jones, Vytiniotis, et al. - 2006
113	Towards a practical programming language based on dependent type theory - Norell - 2007
108	Scrap your boilerplate: A practical design pattern for generic programming - Lämmel, Jones - 2003
107	A fold for all seasons - Sheard, Fegaras - 1993
102	Polytypic Values Possess Polykinded Types - Hinze - 2000
101	Data Structures and Program Transformation - Malcolm - 1990
84	A new approach to generic functional programming - Hinze - 2000
71	The zipper - Huet - 1997
70	A lightweight implementation of generics and dynamics - Cheney, Hinze - 2002
67	Nested datatypes - Bird, Meertens - 1998
67	Exploring Generic Haskell - Löh - 2004
55	Associated type synonyms - Chakravarty, Manuel - 2005
53	Type-indexed data types - Hinze, Jeuring, et al. - 2004
45	Generic programming within dependently typed programming - Altenkirch, McBride - 2003
41	Generics for the masses - Hinze - 1998
40	Automatic synthesis of typed Λ-programs on term algebras - Böhm, Berarducci - 1985
38	Universes for generic programs and proofs in dependent type theory - Benke, Dybjer, et al.
31	Designing and implementing combinator languages - Swierstra, Alcocer, et al. - 1998
29	Category Theoretic Approach to Data Types - Hagino - 1987
28	Polytypic pattern matching - Jeuring - 1995
28	Type checking with open type functions - Schrijvers, Jones, et al. - 2008
27	The derivative of a regular type is its type of one-hole contexts (extended abstract). http://strictlypositive.org/ diff.pdf - McBride - 2001
26	Dealing with Large Bananas - Lämmel, Visser, et al. - 2000
20	Generic views on data types - Holdermans, Jeuring, et al. - 2006
17	Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations - Bird - 1996
17	Generic downwards accumulations - Gibbons
17	Polytypic unification - Jansson, Jeuring - 1998
15	Polytypic programming in Haskell - Norell, Jansson
13	A framework for polytypic programming on terms, with an application to rewriting - Jansson, Jeuring - 2000
13	Exploring the regular tree types - Morris, Altenkirch, et al. - 2006
12	Doaitse Swierstra. Typing dynamic typing - Baars, S - 2002
12	Foundations for structured programming with GADTs - Johann, Ghani - 2008
6	Clowns to the left of me, jokers to the right (pearl): dissecting data structures - McBride - 2008
5	Initial algebra semantics is enough - Johann, Ghani - 2007
2	The Generic Haskell user’s guide, Version 1.80 - Emerald release - Löh, Jeuring, et al. - 2008
1	Jeroen Leeuwestein, Johan Jeuring, José Pedro Magalhães, and Sylvia Stuurman. Selecting (sub)expressions – generic programming without generic programs. Unpublished - Steenbergen - 2008