Mechanically Deriving Binary Tree Iterators with Continuation Defunctionalization (opens in new tab)

Deriving tree iterators from tree traversals using Continuation Defunctionalization.