Paper Citation Record · LEDGER

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

As of 9 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.20310.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.20310 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:56:27.471841Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact5
verified fuzzy7
unresolved7
parse uncertain0
malformed identifier2
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 843a0fec-1d8c-4d8d-ac0b-a728b6c56dd3 · outbound

This paper cites an unresolved cited work.

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

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:25.447645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b83a831-ab0c-448d-a9c3-63e323e022e9 · outbound

This paper cites SIGPLAN Not.39(1), 14–25 (Jan 2004).https://doi.org/10.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml SIGPLAN Not.39(1), 14–25 (Jan 2004).https://doi.org/10

Reference 2

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T22:56:28.748809Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8951af61-88e4-4a05-96a1-57a2248aefee · outbound

This paper cites an unresolved cited work.

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

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-06T22:56:30.394289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 44f8909b-5f59-4b1a-ac77-60d81e9bafd5 · outbound

This paper cites Auto-active Verification of Graph Algorithms, Written in OCaml.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Auto-active Verification of Graph Algorithms, Written in OCaml

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-06T22:56:28.514488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 564424ee-4581-4fb9-8e1b-f3c101fd057e · outbound

This paper cites SIGPLAN Not.

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

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T22:56:28.143463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5f5a2f60-0fc9-4436-ad99-3886cda37525 · outbound

This paper cites In: Formal Methods - The Next 30 Years - Third World Congress.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Formal Methods - The Next 30 Years - Third World Congress

Reference 6

Resolution: verified exact; doi, observed 2026-08-06T22:56:27.968273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7f19d95c-08a1-4aaa-926f-54a7b6140a0c · outbound

This paper cites https://ionchirica.github.io/ ifm2025 (2025), Companion artifact.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml https://ionchirica.github.io/ ifm2025 (2025), Companion artifact

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:30.265258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7a2bf3f5-478c-4d66-9d4b-77c619d94b2a · outbound

This paper cites In: Morazán, M.T.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Morazán, M.T

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:30.108657Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ba25abf0-3f9f-4fcf-a93a-31c8944dc819 · outbound

This paper cites In: Sankaranarayanan, S., Sharygina, N.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Sankaranarayanan, S., Sharygina, N

Reference 9

Resolution: verified exact; doi, observed 2026-08-06T22:56:27.799734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3eacf43c-903c-44ff-bd55-a00f790145ee · outbound

This paper cites In: Riesco, A., Zhang, M.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Riesco, A., Zhang, M

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:26.290904Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f034179-8902-4f8f-b5fd-84a5531a5af7 · outbound

This paper cites Prentice Hall PTR, USA, 1st edn.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Prentice Hall PTR, USA, 1st edn

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:29.918089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 978c615c-84ea-451c-93cf-a14dbb5090b4 · outbound

This paper cites International Journal on Soft- ware Tools for Technology Transfer (STTT)13(5), 397–403 (Aug 2011),10.1007/ s10009-011-0211-0.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml International Journal on Soft- ware Tools for Technology Transfer (STTT)13(5), 397–403 (Aug 2011),10.1007/ s10009-011-0211-0

Reference 12

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T22:56:29.774535Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c61b6695-9224-4b70-8e0f-2446ef149dbd · outbound

This paper cites In: Proceedings of the 22nd European Conference on Programming Languages and Systems.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Proceedings of the 22nd European Conference on Programming Languages and Systems

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:26.626494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d412babe-8461-4979-872f-5fe859c3a766 · outbound

This paper cites In: ISoLA 2021 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: ISoLA 2021 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T22:56:27.635011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 482fc640-df54-4dfc-8182-983003f5c787 · outbound

This paper cites In: Rayadurgam, S., Tkachuk, O.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Rayadurgam, S., Tkachuk, O

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:29.616926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a8f93b2e-e36f-47f0-9488-2eacb9d5b930 · outbound

This paper cites an unresolved cited work.

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

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:26.923377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65feba32-1884-4937-b79c-d54e1c6ecc9c · outbound

This paper cites Journal of Functional Programming28(e20) (2018).

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Journal of Functional Programming28(e20) (2018)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:29.462326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a7ed8c2c-156f-4054-994d-2f33fde3dfca · outbound

This paper cites Springer (2003),http://www.springer.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Springer (2003),http://www.springer

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:29.265187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d838ee06-c552-4652-ab54-0ed20d03293b · outbound

This paper cites 104–125 (01 2017).https://doi.org/10.3233/ 978-1-61499-810-5-104.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml 104–125 (01 2017).https://doi.org/10.3233/ 978-1-61499-810-5-104

Reference 19

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T22:56:29.086542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a7a2e84f-dd45-419b-87c6-c098446d8778 · outbound

This paper cites In: Silva, A., Leino, K.R.M.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Silva, A., Leino, K.R.M

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T22:56:28.894190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e9ac01ec-7102-45de-adc1-e65219e8a292 · outbound

This paper cites In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:27.352477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d857e0a-88ed-44b2-8fc6-ff826410dab8 · outbound

This paper cites Reducing urban traffic congestion due to localized routing decisions.

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml Reducing urban traffic congestion due to localized routing decisions

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T22:56:27.471841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.