Leaf-First Zipper Semantics.

Sergue Lenglet, Alan Schmitt

Browse the full FORTE paper archive.