The zipper (1997)

Cached

Download Links

by Gérard Huet , Inria Rocquencourt France
Venue:JFP
Citations:92 - 3 self

Documents Related by Co-Citation

59 Type-Indexed Data Types – Ralf Hinze, Johan Jeuring, Andres Löh - 2004
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
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
108 Computation and Reasoning, A Type Theory for Computer Science – Zhaohui Luo - 1994
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
76 Inductive Sets and Families in Martin-Löf's Type Theory and Their Set-Theoretic Semantics – Peter Dybjer - 1991
42 Universes for Generic Programs and Proofs in Dependent Type Theory – Marcin Benke, Peter Dybjer, Patrik Jansson - 2003
52 Generic programming within dependently typed programming – Thorsten Altenkirch, Conor Mcbride - 2003
105 Data structures and program transformation – G Malcolm - 1990
68 De Bruijn notation as a nested datatype – Richard S. Bird, Ross Paterson, Sir Arthur, Conan Doyle - 1999
7 for data: derivatives of data structures – Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride
37 Elimination with a Motive – Conor Mcbride - 2002
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
44 Epigram: Practical programming with dependent types – C McBride - 2004
77 Monadic Presentations of Lambda Terms Using Generalized Inductive Types – Thorsten Altenkirch, Bernhard Reus - 1999
85 Pattern matching with dependent types – Thierry Coquand - 1992
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
28 Polytypic Pattern Matching – Johan Jeuring - 1995