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

Ion Chirica, Mrio Pereira

Browse the full IFM paper archive.