Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml

Ion Chirica, Mário Pereira

Albeit being a central notion of every programming language, formally and modularly reasoning about iteration proves itself to be a non-trivial feat, specially in the context of hi…