{"as_of":"2026-08-04T18:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d2fa345604d2605de3b7123519753237287b6f67c9808afe69dccd42900a7fd7","coverage":[{"denominator":30,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":30,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-07T13:41:41.540082Z","state":"measured"},{"denominator":30,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":30,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.26161/citation-record","integrity":"/paper/2604.26161/integrity","json":"/paper/2604.26161/citation-record.json","paper":"/paper/2604.26161"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6a83f81f-8d62-447d-a2e6-41f9a10e45cc","year":2010},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:8d3bf6c4adc2f200519a574a8bad3f7f1a8ed94d0bff4c90090d51fcb62b47f8","observation_id":"2fa6d385-4e4a-4535-bff9-8544b09676eb","resolution":{"observed_at":"2026-05-27T05:23:35.859612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3722212.3724450","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T00:15:00.872479Z","title":"In: Companion of the 2025 International Conference on Management of Data","venue":null,"work_id":"f007c569-7532-422a-8edb-98b16afbe1df","year":2025},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:2d12afa09acad9e507529a647c9a0426472594e0a9a975f8d134e45839df4e44","observation_id":"c085ea3f-d547-4e23-8c1d-c7bdce07193d","resolution":{"observed_at":"2026-05-09T03:14:59.207495Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","venue":null,"work_id":"b3eb3564-cd70-4df3-8507-46ca69e5e2a4","year":null},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:e3803c04a4d32d1dfe99db2983d8623dec7008fa9d85504ff8d04d7618cee429","observation_id":"1880bdc2-0531-4510-9a13-cffbfd224e9e","resolution":{"observed_at":"2026-05-27T05:23:35.879182Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2951913","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"https://doi.org/10.1145/2951913","venue":null,"work_id":"a4f1be9c-31f3-4770-a710-5238c0401411","year":2016},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:3e0d36dc151c070f7b5b7a75a929b453811ef1b8f20163d62b084c2979ec3309","observation_id":"d21d432a-e592-4cc1-a5fd-59773e11ef4e","resolution":{"observed_at":"2026-05-09T03:14:59.219524Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b6f24701-355c-4cce-a7cd-9a2f307bab79","year":2023},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:1d3e0a5d1bb31abfc039e03273878737ae6363a2030185c2d709b46e26e87451","observation_id":"196128c6-8127-47ce-b65c-bd6e6f6d8649","resolution":{"observed_at":"2026-05-27T05:23:35.883006Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Pacholski, L., Tiuryn, J","venue":null,"work_id":"dbfc5c5d-b6f4-42b2-8868-0010f92b4002","year":1994},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:29783da812fe1e789ffda205b7d0d2a4548b450ee509d64fb839f39f87a1f68e","observation_id":"1caeb725-6e94-4fae-99cf-b8b1a1a1ba1e","resolution":{"observed_at":"2026-05-27T05:23:35.855833Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.1996.561458","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T12:15:00.875560Z","title":"In: Proceed- ings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30","venue":null,"work_id":"8e0242b1-72aa-4886-97ed-a2b34292c6ac","year":1996},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:8fc7e90e69a33d953d5be9ce5e0db06c6827a41d8f66f098348c7f1ac6af0520","observation_id":"3817cf8a-dbf7-402f-877a-923e1812a7da","resolution":{"observed_at":"2026-05-09T03:14:59.198008Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3236950.3236954","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:15:00.863488Z","title":"In: Sabel, D., Thiemann, P","venue":null,"work_id":"e0cebc6e-87a6-4ba5-b0a9-ae9abb26cded","year":2018},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:000f725a72335fdd00cbbf6769821636b831dcf7cab7c089a05fb160e6ece3e1","observation_id":"573756b9-c164-4de0-ac91-9fd372500dbb","resolution":{"observed_at":"2026-05-09T03:14:59.194726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp","venue":null,"work_id":"024a9784-d1be-4fea-ae67-9a301f70ee9c","year":2019},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:fab4f5a49e7f1f08c798cae08b340b713837b7d3bca37e16374c18de95f83e77","observation_id":"7d03d6a9-d6df-4369-a040-f3ea55031add","resolution":{"observed_at":"2026-05-09T03:14:59.200146Z","resolver_source":"doi","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Blog post (2007), https:// math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/","venue":null,"work_id":"0e06eb8e-8e09-4bda-a100-69396bc15a3a","year":2007},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:76748061d78ea217d7b315d399499345ee15201ac69a7081c751fa299d6e6b93","observation_id":"63736ad6-b405-4bfe-8b0d-701688bfa65e","resolution":{"observed_at":"2026-05-27T05:23:35.852188Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e6f7a76d-c35e-43ba-a2d1-d2a165476e63","year":2017},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:2fb2339f2b4f7a12b1c2fc57ba01e2754ae829de0aa1b64b37e052ee2bfbb820","observation_id":"c5e21586-537f-42c9-9a8e-be4da73bd4bc","resolution":{"observed_at":"2026-05-27T05:23:35.871215Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"79ec1094-2901-4a5e-a18f-b10b7be0c3c2","year":2024},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:20528c2a2997a227d92dc225144e09dc27e9039fcaa5fef98e0f76163b408e06","observation_id":"69c27feb-09c9-4937-8ac1-2eaeff08c14a","resolution":{"observed_at":"2026-05-27T05:23:35.863568Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3022670.2951939","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-09T18:15:00.863488Z","title":"SIGPLAN Not.51(9), 476–489 (Sep 2016)","venue":null,"work_id":"cfb00c74-d3cc-4f29-bb6e-a09aa6a5a848","year":2016},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:cd5cfbc1df2365460245f0a6bb2d56c28f8344e38afcc712c39d556c6fad03af","observation_id":"31552158-7fea-4bce-a852-9d89a67c5578","resolution":{"observed_at":"2026-05-09T03:14:59.203447Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Proceedings of the 21st ACM SIGPLAN International Con- ference on Functional Programming","venue":null,"work_id":"6741142d-b9a5-4d71-b2da-f5694f7d0ce2","year":2016},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:dbf700e286f82880324b36676af841c4369ccc9e98ad6f89f37b2b2361d3fd99","observation_id":"f2408f34-ace0-424a-97af-e868a7d5d996","resolution":{"observed_at":"2026-05-09T03:14:59.215938Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"66067bbc-4801-4725-b159-daa56df2559a","year":2007},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:a636654a7cec4ba0dc2496b0ccada200f28e5cf0ef9da93b8a8f4b22a26bad6e","observation_id":"10fe4ecc-f8a9-43d3-b1f6-af40d413e5c8","resolution":{"observed_at":"2026-05-09T03:14:59.174545Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.360.4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(eds.) Proceedings Ninth Workshop on Mathematically Structured Func- tional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022","venue":null,"work_id":"d6f67619-5119-4c00-a07a-2876d395e360","year":2022},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:ee6f991b51ad01de11be4b29b80499d8fb11c450eae353fbcd75f485da951fdd","observation_id":"dfd96bc4-ef0c-494d-a6f3-70518c14b77e","resolution":{"observed_at":"2026-05-09T03:14:59.177622Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2535838.2535846","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T00:15:00.872479Z","title":"In: Proceed- ings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Lan- guages","venue":null,"work_id":"98dfc8ee-0595-4ca0-ac7e-dcf53815fe53","year":2014},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:e12926485a175fbd8a2053ef764008521511456931d40a9e4b42441c0661fc5b","observation_id":"727e2bf0-f088-4f6f-abbd-4a9988fc2e7d","resolution":{"observed_at":"2026-05-09T03:14:59.184380Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-20T15:53:45.628341+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-20T15:53:45.628341+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3643027","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-27T20:11:13.279399Z","title":"Convergence of datalog over (Pre-) Semir- ings","venue":null,"work_id":"efec446f-46ef-4a4c-a950-1253a860104e","year":2024},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:0016c126906657f2017f1ef28fa4c80d6ffa19fa34048986cecd2ab8e70d9719","observation_id":"1a1bb0d4-d745-45e2-868f-e4d40c6ecf44","resolution":{"observed_at":"2026-05-09T03:14:59.179783Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-19T16:23:43.734947+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-19T16:23:43.734947+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2298/pim0796017d","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Publications de l’Institut Mathematique96, 17–23 (2007)","venue":null,"work_id":"bac725d1-aac0-493d-a34a-08a479f7d704","year":2007},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:4068ed1348735a2cdf585eacb2c00eca5714cf263313b7551285be8a046a42bd","observation_id":"5b418ef4-8538-44d9-aee8-e8e194396f3f","resolution":{"observed_at":"2026-05-09T03:14:59.166338Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3591268","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e660a540-0f9e-49c6-bce9-947fcbb11bcd","year":2023},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:72f36f1ed5eb7b328a9217c7ea4371ef9aa0068d9c3ab2c69e5ca787a9a22030","observation_id":"7000f81d-9544-439b-96de-7330f20c9738","resolution":{"observed_at":"2026-05-09T03:14:59.156144Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e48cef97-8777-46e2-b2c8-7591da9ccf7d","year":2020},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:2604f0132729360bb71c15f0d703805aebeffc780ae32ebae295d2a6b2e5503c","observation_id":"35c70ef9-d1dc-46d9-9d7a-966079ad7fdc","resolution":{"observed_at":"2026-05-27T05:23:35.867601Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/421090","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"O'Hearn and D","venue":null,"work_id":"060c04a4-67fe-4ae7-8c66-81858d497708","year":1999},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:22d08338c112e6e29288115aace6a26965cb8245471d95c1780aaad2ed430206","observation_id":"7af4519e-c0a9-4649-9bd3-131371dec119","resolution":{"observed_at":"2026-05-09T03:14:59.157775Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2022.7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Ali, K., Vitek, J","venue":null,"work_id":"f48fe090-8f1b-4bfb-9bb8-e2916048eea9","year":2022},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:ea2409954d5d7d03187243a6be515ff4b391bb8860391d02ef9192112b5aee34","observation_id":"3c90cb6c-37de-41f0-81c0-145a3b330218","resolution":{"observed_at":"2026-05-09T03:14:59.168188Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1015186718090","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"https://doi.org/10.1023/A:1015186718090","venue":null,"work_id":"828ce852-e63e-422f-94f4-f179508dc36e","year":2002},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:60b8887c037d10298d9c1545ce57fd002871deaa30f583e29f76a946c43a8493","observation_id":"29310c2f-d144-4e17-9dd2-360ee277c2da","resolution":{"observed_at":"2026-05-09T03:14:59.146536Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-05-23T17:53:00.727499+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T17:53:00.727499+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2628136","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In: Jeuring, J., Chakravarty, M.M.T","venue":null,"work_id":"2e21d38b-b8fe-4e7f-b4b9-62a1284c0a61","year":2014},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:df0f1c1370ae43ffb6c18f04b890dce26d51c32e6dbbdaba01d25bc6e53cedea","observation_id":"bb77fccf-89a3-443b-ae5f-8969877c0c0d","resolution":{"observed_at":"2026-05-09T03:14:59.154494Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2f9186a8-70ef-4743-b151-6ca41fa9e78d","year":2007},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:c05e8e0e22cc46dcc50cf793e4794048caecf7fe60a68ce0f3dfe9c12270370a","observation_id":"32d65b56-6897-4091-a64e-49d443ed3f5d","resolution":{"observed_at":"2026-05-27T05:23:35.875263Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3729299","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lang.9(PLDI), 1220–1244 (2025)","venue":null,"work_id":"07e823f5-faa7-4baa-9293-5bc144bf20cd","year":2025},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:37582caf71eae660d2a12ecbc1b669724b9a3a9fd211e87ece2ea2866420fd49","observation_id":"b9dfe57d-a568-4d82-9cce-1e625936bd55","resolution":{"observed_at":"2026-05-09T03:14:59.150488Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3527333","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T14:29:30.780376Z","title":null,"venue":null,"work_id":"0e62b518-8ced-4c6e-a04d-adb95be9e490","year":2022},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:92609163f04167804bb538197c68be1f0f810f3060abd6a76afe592b5f058bda","observation_id":"ed74c331-1900-4e73-8529-d5565749dec9","resolution":{"observed_at":"2026-05-09T03:14:59.171964Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10958-008-9013-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Journal of Mathematical Sci- ences151, 3032–3051 (6 2008)","venue":null,"work_id":"55cbcb23-6952-4748-a6df-265c1f8b9877","year":2008},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:ae16c94121641c808eeee3839adf5deba1a10c883160900368c5abd7efe9a817","observation_id":"c25e9e7e-7cc9-4cae-9d4e-abfc3c0eed53","resolution":{"observed_at":"2026-05-09T03:14:59.189178Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0743-1066(96)00068-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"24af020e-0b70-4266-b0e8-0843056023af","year":1996},"citing_paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-07T13:41:41.540082Z"},"links":{"citing_paper":"/paper/2604.26161"},"observation_digest":"sha256:11f59b275953f47a2502659e7864fd965601de40c30179f8b0045e043d4951cb","observation_id":"9c79724e-c5d3-46b8-a542-b98919c7392a","resolution":{"observed_at":"2026-05-09T03:14:59.217854Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.26161","last_updated":"2026-04-28T22:49:28Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-03T07:27:32.374894Z","submitted_at":"2026-04-28T22:49:28Z","title":"Finite Functional Programming"},"reference_resolution":{"displayed":30,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":6,"verified_exact":19,"verified_fuzzy":3},"total_outbound_references":30},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"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."}