{"as_of":"2026-08-18T06:44:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e96ccd2d1eb3926fe3df2a27d725e972b62a235d1c582078f894a062f79bfb05","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-13T06:35:40.030219Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2607.08547/citation-record","integrity":"/paper/2607.08547/integrity","json":"/paper/2607.08547/citation-record.json","paper":"/paper/2607.08547"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Bart Jacobs and Christof Löding (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:0929648ffbbc52603a86a379c81c107319b340ee273e0c6863be5add627ede3f","observation_id":"1dc71b3a-2cac-4852-a6da-d427a62adc91","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.2168/LMCS-7(2:17)2011 Robert Atkey","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:963abffc143fd0414631b9d10af182862da761be0753d08ff9f7f37ba7b1f908","observation_id":"dd9777a9-1075-4a26-82f4-5175f8a512c8","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’14)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:b4a1803d7269472a17d861b4ecdca5221a0372260c323b7d2b39872f2f2d8a10","observation_id":"cd79efef-818c-4a60-a812-4882f55102ec","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InComputer Science Logic (Lecture Notes in Computer Science), Leszek Pacholski and Jerzy Tiuryn (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:95fe9e42568a21eb7cc9b3cad87bb79073dbaf3c74b1140f397961c3b4496ae8","observation_id":"ef69316e-8201-4319-9d9e-19b883de55bc","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:92fa5121a279f2c7c09b74741e25cf75b316779906fca3d1b0611936fd6b8dc2","observation_id":"4e79ed0d-3c73-40cd-8490-511630f034da","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"Proceedings of the ACM on Programming Languages4, ICFP (Aug","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:14efac19578e61da189d4acf4c3799d7f9afc4b0aafd1911fef367a1b1b5cd07","observation_id":"c1673f1f-d709-4b13-a460-62963a82dfeb","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"ACM SIGPLAN Notices43, 1 (Jan","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:483a9ebb24df598b9fe956fb18494153d99b77067ddcbc71254d6b1dad4346c5","observation_id":"5dcbb2eb-4745-4fa9-ba0b-e7a911fdf5e0","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"In2021 IEEE 34th Computer Security Foundations Symposium (CSF)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:6822e0c18d7b3af9c20deeb4c1e40b2bcaef668fb81520c0ca8ea8cf442d8c91","observation_id":"7992e05c-17e5-44f1-935f-668cbb371836","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InComputer Science Logic (Lecture Notes in Computer Science), Erich Grädel and Reinhard Kahle (Eds.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:583575cdc1ee1b16215cc64fd4a43541e1e09144143ec32fbb9fdb0a3b297012","observation_id":"0995f8a6-f373-47ff-b09b-2bd0c34ca735","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1093/logcom/exs025 Marco Grandis and Robert Paré","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:1768bc0f03e7d2d15a6f671bb6103a684e3f77ba8deaafe5e26335cd55f5aff1","observation_id":"07bbcc21-04f0-4678-a8ae-83c7f83b3c21","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://www.numdam.org/item/?id=CTGDC_2004__45_3_193_0 David Gries","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:612221de40ca6200d9cad7874ed801152fc165e5dadaa5d289bcc5832513ec7a","observation_id":"14b254c7-5a07-44c3-861e-91f67270da20","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:25622e8bde57be338f5eb961fb8373589d5cc83845b20d4f3c1f7c2345fe3292","observation_id":"bf7266a7-8eb1-4159-8b0d-e820777eaf2d","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2026), 31:895–31:922","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:e5deaf1b50e0bc1ab093afcb57f314472bafd3dc5f7331b8c2cdbf5e7365ff6d","observation_id":"6241f4dd-dccc-4c3d-94bb-452e792280e4","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2024), 10:273–10:301","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:a46ac7226cbc542ff3448f2a500f9099a75978c11adfff938d3201f74c9f622f","observation_id":"4f418c74-09ea-4da2-8009-aaf285927bdf","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"In2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:9f200bca4d45d8eb52bc80eae451d81a499e2bddc6c644442c7522ed6931b4b1","observation_id":"981ad08c-c18d-4f75-ba82-c59d9615711b","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"In19th Annual Symposium on Foundations of Computer Science (Sfcs 1978)","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:dc5c75d5cb250a6fe906d17ec5ee70ddef269250cfeb5c4d2cb62ed973160d1f","observation_id":"d996d25c-01f6-4a94-80e4-a5dd0c69ea75","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"1972), 271–281","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:28727da135ae269b8c64f0520246ae14969548541409e9db41a09fd68d07335d","observation_id":"ff595245-4ccd-4d21-ba2f-c469504b82ba","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InProceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’11)","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:8fd76dfb8b387f8c947de28fdaebc8969ddd8bed434bbdbfd832f291d049a48e","observation_id":"1c9f2fef-3506-44d0-a9a0-965df02290ea","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1017/S0960129521000487 Martin Hofmann and Steffen Jost","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:d5c5210d59c47d46b1b5e6cb7821497ce8ea48ee4c78904a93da07a431a30b16","observation_id":"03c7cdc6-538c-411c-80c5-c50db843f3e2","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2003), 185–197","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:b60073de839502bfe71429ad2756b8b7bd6808920f0fb917c7dd7884ebd5c9eb","observation_id":"2f18acc3-e182-4f97-a804-f096fe0c7b64","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https: //doi.org/10.1017/S0960129521000232 Robert Hood and Robert Melville","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:1e7857af362d8750f9683df22437971d218b55cc537f6588bbc8c5469b2e5fa2","observation_id":"80d8732f-0ab7-4980-b60e-6d0d0979b8cf","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:2f9609851079ffda619a0ba31e77787d29626ed4d59bc8b03156f5a4ed712205","observation_id":"d3d77edd-1676-4a6a-89ca-e7e19128694e","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Jean Goubault-Larrecq and Barbara König (Eds.)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:34d1932afda9718bc9a2da2c248958e4bc1942a82cbeae612b1ad1d320c2eec1","observation_id":"afe047f5-0368-4d99-9a78-2578ca6fafe9","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1145/2775051.2676969 Paul Blain Levy","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:cb0aee6c2031832d82fc8234b68c89cac85a33dac7e3dd2cc80fb5f5c2cf8d82","observation_id":"dc9c8d55-c28f-4667-a31b-66da4344c960","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.12464","last_updated":"2025-04-16T19:56:15Z","snapshot_observed_at":"2026-08-18T02:54:56.499880Z","submitted_at":"2025-04-16T19:56:15Z","title":"Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.12464","snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.48550/arXiv.2504.12464 arXiv:2504.12464 [cs] Anton Lorenzen","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"cited_paper":"/paper/2504.12464","citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:47eae4016b904227dba2a1e81c63c7a4f2d98561fe5752ae7a571861df81fdab","observation_id":"9a0baee7-646f-49d8-8693-210f2c726102","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.09411","last_updated":"2026-05-10T08:24:43Z","snapshot_observed_at":"2026-08-15T12:44:43.604745Z","submitted_at":"2026-05-10T08:24:43Z","title":"Persistent Amortised Analysis, Operationally","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.09411","snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/arXiv:2605.09411 Lambert Meertens","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"cited_paper":"/paper/2605.09411","citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:11ce2200012a12f9b9195f57bc65011b708d1fc6b31885c261401fd695fc30b3","observation_id":"d6d08911-b9b4-44b7-9b65-734f92f64909","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"1992), 413–424","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:8d83acae030d34d1b36b0ffe8395644e3656d5071c46efe55db1a13bcd55ac4e","observation_id":"a697cb09-9df4-43a2-8ef7-d8f7f8d30b18","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InProgramming Languages and Systems, Luís Caires (Ed.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:d6f4797542414c886407c3b2326c91a37a860d4cd474ab56ec92af30fcbb8901","observation_id":"b5928071-238a-4cca-92af-bc57940dd7ba","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1007/s10817-018-9459-3 Yue Niu and Robert Harper","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:77c1da95173624da3e680eeb995169425dc59d6baced95263be6f5725a32c62b","observation_id":"d71a0316-e205-4fa2-bd4d-753923175aec","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2209.12669","last_updated":"2022-09-26T13:16:19Z","snapshot_observed_at":"2026-08-16T16:29:50.042860Z","submitted_at":"2022-09-26T13:16:19Z","title":"A metalanguage for cost-aware denotational semantics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2209.12669","snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.48550/arXiv","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"cited_paper":"/paper/2209.12669","citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:edb6bb0090bb5ab604392b4f6af64275234b5ced329b0218c129565825dbaed5","observation_id":"9040f342-8a54-40f7-aa42-2b43b3066861","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2022), 9:1–9:31","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:208497e51384f3a5b24314372c3d688c66a4e89fdca50bbe528d0c4c39ab5df0","observation_id":"6d357b11-5a72-4f17-af30-fd63d0657298","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InProceedings of the 4th International Workshop on Types in Language Design and Implementation (TLDI ’09)","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:511dc555eeed45952517c98d05fa266f066fb6eef861a47c00dbec8eca047f73","observation_id":"a8b28b03-c0c6-4aff-8a36-136f0ad14376","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2019), 58:1–58:28","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:c54c37269063865c0801436d05bbd1ebb6b710ad720417362d07ed91bac52cf8","observation_id":"047f8220-0a30-49d6-8e6b-78caf5529e67","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2025), 409:3811–409:3840","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:9c6e897a924072edf9b70b29cfd8596419849aaa61214bb41a844e553d6deaa8","observation_id":"fee11de6-3dbb-472d-8160-940a38ad844d","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2024), 50:1482–50:1508","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:2dc1c6dce9f0dbdd8dca10c2ff87f5beff4f1eb6b9f5d5533c7dec0b521157eb","observation_id":"fdc77dfe-bddb-47bd-8deb-4d0ab4687e7e","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"ACM Program","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:2c44646a5ef40d61caad574b166751d33dbc09886242f116c2a17ad370059649","observation_id":"07035065-23ad-4673-b3e8-9b2abd906fd2","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2021), 27:1–27:28","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:31fc0eee045aff1258e91409f551e13fe54f69e6dab1db92cead49d1d35e5876","observation_id":"02235a57-9108-40b1-80bc-b2f3e92a105b","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R","venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:15aeab79fc9cd71a9b27ece2a75e7b9681a50a9cfdc8bdcb9018397cd31af9bd","observation_id":"fe0ab342-09fb-411d-b713-00a8b2897461","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"2017), 147–224","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:56b5e2cf9ca5bc3dcfa45ae0e5e67291887d656da80944011715480ceae393e4","observation_id":"667094f4-2e92-4a9b-a75a-6bdd4f6a8ad8","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:c872c9962679d27c30d48d5b5454d930a7ba9e29dff4ad8e2b608e03b6761980","observation_id":"b5e144dc-29df-4321-87d4-092de7133e67","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:63392b6a56bcb5f727f3cc5e25291de0b3c48457d738e1bbf4925f56f5106dc1","observation_id":"77b40c2b-c97a-4f30-bb6b-6652643c2e9f","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InCategory Seminar, Gregory M","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:b246a7c732937faf489ce11b96c2d4211afec5581ac9862622fc8ac50081b963","observation_id":"b82a0547-40b5-475c-a12f-60bd09186ef6","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1137/0606031 The Univalent Foundations Program","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:263f67c78afa4034ef6c3b371b15eb7dd323f1880b4d29583da760ccb7d072a0","observation_id":"67bc7398-99bb-4610-a796-01bcb8b3975e","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"In Proceedings of the 17th ACM SIGPLAN International Haskell Symposium (Haskell 2024)","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:08dd2e5edbe6bd6b15d27ea98d467a1e7bf5cb2a0778b20b43e8ef71dbc1a4ac","observation_id":"5f9e1bee-62c8-43fe-94cf-1b03236b272e","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"https://doi.org/10.1145/3341691 Han Xu and Di Wang","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:89f722293512ff0da726a5333511eda07d38807bd50ea0b90ca2754be4485753","observation_id":"28199527-eedc-4e6b-bf81-d457c59aa913","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-13T06:35:40.030219Z","title":"InProgramming Languages and Systems, Robbert Krebbers (Ed.)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-13T06:35:40.030219Z"},"links":{"citing_paper":"/paper/2607.08547"},"observation_digest":"sha256:9e6d24b55e7ecc058b9f8b3c07b2f76bbe12843ca0e128b920cf5aca0d8bb92b","observation_id":"7b0db7de-c8e2-4afc-9e36-9843ab7635ca","resolution":{"observed_at":"2026-07-13T06:35:40.030219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.08547","last_updated":"2026-07-10T16:39:41Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-13T06:03:23.309429Z","submitted_at":"2026-07-09T14:41:33Z","title":"Potential Functions as Types"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":40,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":46},"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-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2607.08547."}