Imperial College London
Alternate

Emeritus ProfessorSusanEisenbach

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

s.eisenbach Website

 
 
//

Location

 

Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Allwood:2010:10.1016/j.entcs.2010.08.028,
author = {Allwood, TOR and Eisenbach, S},
doi = {10.1016/j.entcs.2010.08.028},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {3--18},
title = {Strengthening the zipper},
url = {http://dx.doi.org/10.1016/j.entcs.2010.08.028},
volume = {253},
year = {2010}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of its potential applications. In this paper we take inspiration from Huet, and describe a library suitable as an underpinning for structured editors. We consider a zipper structure that is suitable for traversing heterogeneous data types, encoding routes to other places in the tree (for bookmark or quick-jump functionality), expressing lexically bound information using contexts, and traversals for rendering a program indicating where the cursor is currently focused. © 2010 Elsevier B.V. All rights reserved.
AU  - Allwood,TOR
AU  - Eisenbach,S
DO  - 10.1016/j.entcs.2010.08.028
EP  - 18
PY  - 2010///
SN  - 1571-0661
SP  - 3
TI  - Strengthening the zipper
T2  - Electronic Notes in Theoretical Computer Science
UR  - http://dx.doi.org/10.1016/j.entcs.2010.08.028
VL  - 253
ER  -
Download