The Zipper

GÉRARD HUET

doi:10.1017/S0956796897002864

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Almost every programmer has faced the problem of representing a tree together with a subtree that is the focus of attention, where that focus may move left, right, up or down the tree. The Zipper is Huet's nifty name for a nifty data structure which fulfills this need. I wish I had known of it when I faced this task, because the solution I came up with was not quite so efficient or elegant as the Zipper.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Huet, G. 2001. From an informal textual lexicon to a well-structured lexical database: an experiment in data reverse engineering. p. 127.

Hinze, Ralf Jeuring, Johan and Löh, Andres 2002. Mathematics of Program Construction. Vol. 2386, Issue. , p. 148.

Rémy, Didier 2002. Applied Semantics. Vol. 2395, Issue. , p. 413.

Abbott, Michael Altenkirch, Thorsten Ghani, Neil and McBride, Conor 2003. Typed Lambda Calculi and Applications. Vol. 2701, Issue. , p. 16.

Huet, Gérard 2003. Thirty Five Years of Automating Mathematics. Vol. 28, Issue. , p. 49.

Hinze, Ralf and Jeuring, Johan 2003. Generic Programming. Vol. 2793, Issue. , p. 57.

Huet, Gérard 2003. Practical Aspects of Declarative Languages. Vol. 2562, Issue. , p. 17.

Hinze, Ralf Jeuring, Johan and Löh, Andres 2004. Type-indexed data types. Science of Computer Programming, Vol. 51, Issue. 1-2, p. 117.

McBride, Conor and McKinna, James 2004. Functional pearl. p. 1.

Visser, Eelco 2005. A survey of strategies in rule-based program transformation systems. Journal of Symbolic Computation, Vol. 40, Issue. 1, p. 831.

DU BOIS, ANDRÉ RAUBER TRINDER, PHIL and LOIDL, HANS-WOLFGANG 2005. TOWARDS MOBILITY SKELETONS. Parallel Processing Letters, Vol. 15, Issue. 03, p. 273.

Ramsey, Norman and Dias, João 2006. An Applicative Control-Flow Graph Based on Huet's Zipper. Electronic Notes in Theoretical Computer Science, Vol. 148, Issue. 2, p. 105.

McBride, Conor Goguen, Healfdene and McKinna, James 2006. Types for Proofs and Programs. Vol. 3839, Issue. , p. 186.

Barker, Chris and Shan, Chung-chieh 2006. Types as Graphs: Continuations in Type Logical Grammar. Journal of Logic, Language and Information, Vol. 15, Issue. 4, p. 331.

Salvati, Sylvain 2006. Term Rewriting and Applications. Vol. 4098, Issue. , p. 151.

Filliâtre, Jean-Christophe 2006. Backtracking iterators. p. 55.

Morris, Peter Altenkirch, Thorsten and McBride, Conor 2006. Types for Proofs and Programs. Vol. 3839, Issue. , p. 252.

Ren, Deling and Erwig, Martin 2006. A generic recursion toolbox for Haskell or. p. 13.

Dixon, Lucas and Fleuriot, Jacques 2006. A proof-centric approach to mathematical assistants. Journal of Applied Logic, Vol. 4, Issue. 4, p. 505.

Michelbrink, Markus 2006. Types for Proofs and Programs. Vol. 3839, Issue. , p. 215.

Download full list

Article contents

The Zipper

Abstract

Discussions

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Article contents

The Zipper

Abstract

Discussions

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests