Journal article
Functional Pearl: Weaving a web
- Abstract:
-
Suppose, you want to implement a structured editor for some term type, so that the user can navigate through a given term and perform edit actions on subterms. In this case you are immediately faced with the problem of how to keep track of the cursor movements and the user's edits in a reasonably efficient manner. In a previous pearl G. Huet introduced a simple data structure, the Zipper, that addresses this problem. A drawback of the Zipper is that the type of cursor locations depends on the...
Expand abstract
Actions
Authors
Bibliographic Details
- Journal:
- JFP
- Volume:
- 11
- Issue:
- 6
- Pages:
- 681-689
- Publication date:
- 2001-11-01
- DOI:
Item Description
- UUID:
-
uuid:09221eb0-c4b3-472d-9c3d-a361b7392dec
- Local pid:
- cs:1170
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2001
If you are the owner of this record, you can report an update to it here: Report update to this record