Paper Citation Record · LEDGER

Finite Functional Programming

As of 4 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2604.26161.

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

pith.paper-citation-record.v1
2604.26161 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-07T13:41:41.540082Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+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

30 of 30 outbound references displayed

verified exact19
verified fuzzy3
unresolved6
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2fa6d385-4e4a-4535-bff9-8544b09676eb · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.859612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c085ea3f-d547-4e23-8c1d-c7bdce07193d · outbound

This paper cites In: Companion of the 2025 International Conference on Management of Data.

Finite Functional Programming In: Companion of the 2025 International Conference on Management of Data

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.207495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1880bdc2-0531-4510-9a13-cffbfd224e9e · outbound

This paper cites In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming.

Finite Functional Programming In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T05:23:35.879182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d21d432a-e592-4cc1-a5fd-59773e11ef4e · outbound

This paper cites https://doi.org/10.1145/2951913.

Finite Functional Programming https://doi.org/10.1145/2951913

Reference 4

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.219524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 196128c6-8127-47ce-b65c-bd6e6f6d8649 · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.883006Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1caeb725-6e94-4fae-99cf-b8b1a1a1ba1e · outbound

This paper cites In: Pacholski, L., Tiuryn, J.

Finite Functional Programming In: Pacholski, L., Tiuryn, J

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T05:23:35.855833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3817cf8a-dbf7-402f-877a-923e1812a7da · outbound

This paper cites In: Proceed- ings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30.

Finite Functional Programming In: Proceed- ings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30

Reference 7

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.198008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 573756b9-c164-4de0-ac91-9fd372500dbb · outbound

This paper cites In: Sabel, D., Thiemann, P.

Finite Functional Programming In: Sabel, D., Thiemann, P

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.194726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 7d03d6a9-d6df-4369-a040-f3ea55031add · outbound

This paper cites In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.

Finite Functional Programming In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp

Reference 9

Resolution: malformed identifier; doi, observed 2026-05-09T03:14:59.200146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 63736ad6-b405-4bfe-8b0d-701688bfa65e · outbound

This paper cites Blog post (2007), https:// math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/.

Finite Functional Programming Blog post (2007), https:// math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-27T05:23:35.852188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c5e21586-537f-42c9-9a8e-be4da73bd4bc · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.871215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 69c27feb-09c9-4937-8ac1-2eaeff08c14a · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.863568Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 31552158-7fea-4bce-a852-9d89a67c5578 · outbound

This paper cites SIGPLAN Not.51(9), 476–489 (Sep 2016).

Finite Functional Programming SIGPLAN Not.51(9), 476–489 (Sep 2016)

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.203447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation f2408f34-ace0-424a-97af-e868a7d5d996 · outbound

This paper cites In: Proceedings of the 21st ACM SIGPLAN International Con- ference on Functional Programming.

Finite Functional Programming In: Proceedings of the 21st ACM SIGPLAN International Con- ference on Functional Programming

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.215938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 10fe4ecc-f8a9-43d3-b1f6-af40d413e5c8 · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.174545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation dfd96bc4-ef0c-494d-a6f3-70518c14b77e · outbound

This paper cites (eds.) Proceedings Ninth Workshop on Mathematically Structured Func- tional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022.

Finite Functional Programming (eds.) Proceedings Ninth Workshop on Mathematically Structured Func- tional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022

Reference 16

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.177622Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 727e2bf0-f088-4f6f-abbd-4a9988fc2e7d · outbound

This paper cites In: Proceed- ings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Lan- guages.

Finite Functional Programming In: Proceed- ings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Lan- guages

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-05-09T03:14:59.184380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1a1bb0d4-d745-45e2-868f-e4d40c6ecf44 · outbound

This paper cites Convergence of datalog over (Pre-) Semir- ings.

Finite Functional Programming Convergence of datalog over (Pre-) Semir- ings

Reference 18

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.179783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5b418ef4-8538-44d9-aee8-e8e194396f3f · outbound

This paper cites Publications de l’Institut Mathematique96, 17–23 (2007).

Finite Functional Programming Publications de l’Institut Mathematique96, 17–23 (2007)

Reference 19

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.166338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 7000f81d-9544-439b-96de-7330f20c9738 · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.156144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 35c70ef9-d1dc-46d9-9d7a-966079ad7fdc · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.867601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 7af4519e-c0a9-4649-9bd3-131371dec119 · outbound

This paper cites O'Hearn and D.

Finite Functional Programming O'Hearn and D

Reference 22

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.157775Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3c90cb6c-37de-41f0-81c0-145a3b330218 · outbound

This paper cites In: Ali, K., Vitek, J.

Finite Functional Programming In: Ali, K., Vitek, J

Reference 23

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.168188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 29310c2f-d144-4e17-9dd2-360ee277c2da · outbound

This paper cites https://doi.org/10.1023/A:1015186718090.

Finite Functional Programming https://doi.org/10.1023/A:1015186718090

Reference 24

Resolution: metadata mismatch; doi, observed 2026-05-09T03:14:59.146536Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation bb77fccf-89a3-443b-ae5f-8969877c0c0d · outbound

This paper cites In: Jeuring, J., Chakravarty, M.M.T.

Finite Functional Programming In: Jeuring, J., Chakravarty, M.M.T

Reference 25

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.154494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 32d65b56-6897-4091-a64e-49d443ed3f5d · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-05-27T05:23:35.875263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation b9dfe57d-a568-4d82-9cce-1e625936bd55 · outbound

This paper cites Lang.9(PLDI), 1220–1244 (2025).

Finite Functional Programming Lang.9(PLDI), 1220–1244 (2025)

Reference 27

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.150488Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ed74c331-1900-4e73-8529-d5565749dec9 · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.171964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c25e9e7e-7cc9-4cae-9d4e-abfc3c0eed53 · outbound

This paper cites Journal of Mathematical Sci- ences151, 3032–3051 (6 2008).

Finite Functional Programming Journal of Mathematical Sci- ences151, 3032–3051 (6 2008)

Reference 29

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.189178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9c79724e-c5d3-46b8-a542-b98919c7392a · outbound

This paper cites an unresolved cited work.

Finite Functional Programming Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-05-09T03:14:59.217854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

No inbound Pith citation observations are available.