My favorite paper on zippers (and one of my favorite papers in general) is Norman Ramsey’s and Joao Dias’s „An Applicative Control-Flow Graph Based on Huet’s Zi

My favorite paper on zippers (and one of my favorite papers in general) is Norman Ramsey’s and Joao Dias’s „An Applicative Control-Flow Graph Based on Huet’s Zipper“ https://www.cs.tufts.edu/~nr/pubs/zipcfg.pdf https://www.cs.tufts.edu/~nr/pubs/zipcfg.pdf In section 5 they say their zipper turned out to be a little bit faster than the imperative version (they use Ocaml). And the resulting code is simpler and less buggy than the imperative one (section 6.3).