{"as_of":"2026-08-09T01:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:414ec2e39b178c22b45a7f807ac3ee453eedd09458fab916e329135254c7b517","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T11:58:56.864541Z","state":"measured"},{"denominator":42,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":42,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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.27074/citation-record","integrity":"/paper/2607.27074/integrity","json":"/paper/2607.27074/citation-record.json","paper":"/paper/2607.27074"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.740725Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.740725Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:22f37395d014c26035acea0bcfd66d0c2ebe735049b8a28ceba75a24706802f6","observation_id":"3abbefb7-6756-4ba0-9077-6b8d3710f81a","resolution":{"observed_at":"2026-07-30T11:58:56.740725Z","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":"10.1145/3341713","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"SimplyRaTT:afitch-stylemodalcalculus forreactiveprogrammingwithoutspaceleaks","venue":"IT University Of Copenhagen (IT University of Copenhagen)","work_id":"548b43ef-af54-4130-b972-9b5be5074ef7","year":2019},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.744844Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:c649b33bf8e72971a5df4619e87bea671676e501621f373b407b6da53265ec87","observation_id":"609ff632-dbe1-4e37-8eab-fd14e131b337","resolution":{"observed_at":"2026-07-30T12:01:35.067030Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.infsof.2013","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T12:01:35.050718Z","title":"Graphicaluserinterface(GUI)testing:Systematic mapping and repository.Information and Software Technology 55, 10 (Oct","venue":null,"work_id":"96c5ddfd-87cc-48d1-af92-4a918f4c6e72","year":2013},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.748350Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:bb86cce18c209446bc88a4aa785e093e053c4c1a048db30777c884963c5edad4","observation_id":"8f685fc5-0fff-4638-8b6a-b3afcb97719e","resolution":{"observed_at":"2026-07-30T12:01:35.056390Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.752723Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.752723Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:bf5fec5ac38ebc2f6a45abffc0e5b7168828ce5c840b13824095dd30c7090f37","observation_id":"42b57827-1cbe-424a-97fd-330a0b265702","resolution":{"observed_at":"2026-07-30T11:58:56.752723Z","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-30T11:58:56.756107Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.756107Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:ec156166d8162ab4f3df099731d04a46e7fc878ed06b727dd11de991363e2386","observation_id":"08213057-9af4-4ef3-82ff-465c59a1045d","resolution":{"observed_at":"2026-07-30T11:58:56.756107Z","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-30T11:58:56.758914Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.758914Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:9f70b7101d024952290526b540cc9fd096abf8f2fe2ece3114f6516ad124f4c3","observation_id":"061214aa-4552-4948-8496-6054f62cd0dc","resolution":{"observed_at":"2026-07-30T11:58:56.758914Z","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":"10.1007/11693024_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cooper and Shriram Krishnamurthi","venue":"Lecture notes in computer science","work_id":"7063e452-7ae1-4717-b73e-84b8994708f3","year":2006},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.761699Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:40a92fc3b4c1cadac157d5fd9ea42ad8e573d1ba6347bb46cd96c0a8f2e9ad5f","observation_id":"8ccae075-1cdf-4b73-a7df-dc8232afbc5b","resolution":{"observed_at":"2026-07-30T12:01:34.992533Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-32304-2_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"9e5b7123-b0d7-476e-8e2b-b6b635b96bc3","year":2019},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.764533Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:9e9138171df5ef2f2503d0112d979fead0aa3904af442f583cd6febe012cee52","observation_id":"79f67079-8378-4e36-8f9d-efcda8084ac9","resolution":{"observed_at":"2026-07-30T12:01:34.899843Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.767682Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.767682Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:d762821e08d3fa3719da3d0e087f1082ddf0ee178b8864370f94d27cfb0acf00","observation_id":"f66be221-bb44-45e2-a97f-9c34b17737ff","resolution":{"observed_at":"2026-07-30T11:58:56.767682Z","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-30T11:58:56.770268Z","title":"Parallelcomplexityanalysiswithtemporalsessiontypes","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.770268Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:bb7afb66d7df6e3168b63cf52929188856769ec924085fbba3ad09aada2e2026","observation_id":"58a40f20-65c2-4636-b083-4181d1c755b1","resolution":{"observed_at":"2026-07-30T11:58:56.770268Z","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-30T11:58:56.773166Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.773166Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:24d09104bef0e93143fbf0b4bc4c6894b1ddf88aecb5e73684ec678d0d648b5e","observation_id":"5a1313f7-15e2-41f9-b21a-a8c32400e76d","resolution":{"observed_at":"2026-07-30T11:58:56.773166Z","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-30T11:58:56.775751Z","title":"Denning and Peter J","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.775751Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:4968deb2bd2f1db2ab51e59809454413cf6f41757bfd094d0119c67c19bdba34","observation_id":"8ab1a91a-85a9-497f-bc12-11cd76d73196","resolution":{"observed_at":"2026-07-30T11:58:56.775751Z","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-30T11:58:56.778949Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.778949Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:9bb158fee7bb4b89de658dc92a4965a5940586964d51cdf81686bbe65a655c67","observation_id":"66115d2b-b0a7-43cd-9e48-5ff3118c38fd","resolution":{"observed_at":"2026-07-30T11:58:56.778949Z","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-30T11:58:56.781688Z","title":"Ottenstein, and Joe D","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.781688Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:370cfa9903abf6341f735a7cb2d009085717bb34e55a753250da5176d996aed1","observation_id":"49bc851f-25a3-4813-8261-a07f733e584e","resolution":{"observed_at":"2026-07-30T11:58:56.781688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1910.11108","last_updated":"2020-05-29T15:12:03Z","snapshot_observed_at":"2026-08-05T17:16:46.933376Z","submitted_at":"2019-10-24T13:48:33Z","title":"Model-View-Update-Communicate: Session Types meet the Elm Architecture","version":3},"cited_work":{"arxiv_id":"1910.11108","doi":"10.48550/arxiv.1910.11108","metadata_source":"pith","pith_arxiv_id":"1910.11108","snapshot_observed_at":"2026-07-30T12:16:12.909640Z","title":"Model-View-Update-Communicate: Session Types meet the Elm Architecture","venue":"cs.PL","work_id":"7e5dfd0a-d284-4c86-b6ad-18d01a5a026b","year":2019},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.783892Z"},"links":{"cited_paper":"/paper/1910.11108","citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:2b3b2d6a3120995458f71dac6ca9be212900c50041e1f01b781c9aed01bb4f5d","observation_id":"b316c81d-fd93-41bd-a1f6-9174eddc7391","resolution":{"observed_at":"2026-07-30T12:01:34.882743Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.786953Z","title":"Event-DrivenMultipartySessionActors","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.786953Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:b03ab81905191ecf71a57477b16df97dac76bb8e2f4343a36620c72590a5fb8b","observation_id":"8a649b7c-86ef-46f6-bbce-56242ccab2c8","resolution":{"observed_at":"2026-07-30T11:58:56.786953Z","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-30T11:58:56.790016Z","title":"Ghica and Alex I","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.790016Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:181899ea87f2d3c997ee807923cb1c6bdba096a41293839c734ac421b111bc33","observation_id":"a73cd09a-f1a0-433d-abde-610789d441cc","resolution":{"observed_at":"2026-07-30T11:58:56.790016Z","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":"10.1016/0304-3975(92)90386-t","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Theoretical Computer Science","work_id":"fc7fd77a-fe45-47cb-984b-200ac4375900","year":1992},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.793001Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:3757e4ff0240fd80d9ef68e6bd9a99d1846047d6b3231e08e92129e8c941d2e9","observation_id":"55a2dc41-ed06-488f-85f3-1fa040b381c9","resolution":{"observed_at":"2026-07-30T12:01:34.858327Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.795962Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.795962Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:4271df4497fb8c3b827e076a5910d87de53cc44d112655bcf3daa2cb085107b4","observation_id":"390d1cbe-a343-495e-93cc-536c09cab7bc","resolution":{"observed_at":"2026-07-30T11:58:56.795962Z","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":"10.1007/978-3-030-71995-1_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Lecture notes in computer science","work_id":"00822d11-569b-42e8-be04-9d2d6b2582c4","year":2021},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.798405Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:fda8a2664d82b35a4d2c830e6c175186f6f241d01d05704a3f21d943c7e2b438","observation_id":"1d6d74c8-f4e9-45cd-8921-7395643e40c8","resolution":{"observed_at":"2026-07-30T12:01:34.847165Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.801896Z","title":"ThesynchronousdataflowprogramminglanguageLUSTRE","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.801896Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:3ddcff0cd78bb796933c9852ae4dab184bd127e7f29086af7d84e47616f9c0a8","observation_id":"a8b72241-7c4c-4a4c-b087-5941fd322f82","resolution":{"observed_at":"2026-07-30T11:58:56.801896Z","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-30T11:58:56.804413Z","title":null,"venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.804413Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:99311e7f88b6844c7ed826a1e4c3b5173f5f990a0912be2cefbcae6e2db420a9","observation_id":"67c6785c-b4e8-4f10-865b-fde1b5837d44","resolution":{"observed_at":"2026-07-30T11:58:56.804413Z","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-30T11:58:56.806834Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.806834Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:336561c89c06c8e354fd67d1d8ab2659f04d2939c59b13ce1123d6b5407155fe","observation_id":"ff0e6065-cbdc-4bb3-84bc-8e5bb6616e68","resolution":{"observed_at":"2026-07-30T11:58:56.806834Z","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-30T11:58:56.809109Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.809109Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:f4b2ff6713bfb71c0e7c1e1ea85201d97d1846993c92711bc7fb6da43737e451","observation_id":"4767200e-141c-4ca5-9f3c-50ccc3d9b237","resolution":{"observed_at":"2026-07-30T11:58:56.809109Z","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-30T11:58:56.811760Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.811760Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:bb1bbae66eacc32f97f5f4834ecb00c1f8f4afaf4e9379d3331e44bab8028ddf","observation_id":"5f7ac16c-b441-4576-b86f-4e4fe03a25a4","resolution":{"observed_at":"2026-07-30T11:58:56.811760Z","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":"10.1109/lics.2011.38","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Krishnaswami and Nick Benton","venue":null,"work_id":"e31f42cc-30ae-4e7d-aaf8-e7d00796b7d7","year":2011},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.814077Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:01cfe3f556e98d85c66a11cee413b2c284565cf4571493c77f3dcda3316b2677","observation_id":"842942da-970b-4b52-be9d-9811c2ce9315","resolution":{"observed_at":"2026-07-30T12:01:34.829848Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.05234","last_updated":"2025-08-21T14:24:35Z","snapshot_observed_at":"2026-08-06T19:27:05.919633Z","submitted_at":"2025-07-07T17:42:17Z","title":"React-tRace: A Semantics for Understanding React Hooks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2507.05234","snapshot_observed_at":"2026-07-30T11:58:56.817931Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.817931Z"},"links":{"cited_paper":"/paper/2507.05234","citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:6d807b1cf431e6e7fac1be6b5ef9257963eb347a06b09e3a3ca8789fcca8dcc4","observation_id":"3b2b02df-3a51-4187-8443-32bc89fdae5a","resolution":{"observed_at":"2026-07-30T11:58:56.817931Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1611.09259","last_updated":"2017-10-03T17:27:42Z","snapshot_observed_at":"2026-08-06T09:23:40.608620Z","submitted_at":"2016-11-28T17:44:19Z","title":"Do be do be do","version":2},"cited_work":{"arxiv_id":"1611.09259","doi":"10.48550/arxiv.1611.09259","metadata_source":"pith","pith_arxiv_id":"1611.09259","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Do be do be do","venue":"cs.PL","work_id":"1416fbcc-5daa-4c72-904b-a04f91599f92","year":2016},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.821109Z"},"links":{"cited_paper":"/paper/1611.09259","citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:13b5afbae1f1df09ff09e663b431301c0c88cbb44462947bdb884dffb255de57","observation_id":"b1a3f0bf-017f-4ed3-b7c1-d528060d5b62","resolution":{"observed_at":"2026-07-30T12:01:34.818495Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.825076Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.825076Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:53fe9341266ad9d4cfeb591286a6de4eb30a4b3c4eaa16f07a3330fe9854bca5","observation_id":"4bb39130-811e-4f71-9f34-8a614f04af88","resolution":{"observed_at":"2026-07-30T11:58:56.825076Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2002.10237","last_updated":"2020-04-27T16:42:28Z","snapshot_observed_at":"2026-08-06T04:33:15.469916Z","submitted_at":"2020-02-20T17:11:41Z","title":"Interaction between Surface Waves on Wire Lines","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2002.10237","snapshot_observed_at":"2026-07-30T11:58:56.828912Z","title":"GUItesting:pitfallsandprocess","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.828912Z"},"links":{"cited_paper":"/paper/2002.10237","citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:5ed58017d4567c13d0e16b1c65d73e4d0faa521059f660cd0341e46950a5acdb","observation_id":"7a1dcd43-6d35-433e-9621-bc1da676965a","resolution":{"observed_at":"2026-07-30T11:58:56.828912Z","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-30T11:58:56.831605Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.831605Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:b6f3c400bc7d4020eecba63fbfc76ec5708650c022a2f3785930a95221a3db32","observation_id":"e74d3235-3449-46e0-a3b7-1fd0ebf79a17","resolution":{"observed_at":"2026-07-30T11:58:56.831605Z","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-30T11:58:56.834010Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.834010Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:508df1cedf8c2735ebb6b4eb5b5ae675fd41e7fae1f89a3e2dfd58eb0f915ee7","observation_id":"21302434-9be4-46ac-ae4e-dec449ad4d41","resolution":{"observed_at":"2026-07-30T11:58:56.834010Z","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-30T11:58:56.836839Z","title":"Cooper,Michael Greenberg,Aleks Bromfield,andShriram Krishnamurthi.2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.836839Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:19ed9a1efc45cd12fde54a7037525d9528fa9045fe1182f7e7327e0db94238ab","observation_id":"65dfe0b9-aea5-4845-80b3-f8982d8a5ec0","resolution":{"observed_at":"2026-07-30T11:58:56.836839Z","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":"10.1145/3498708","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"03cec970-149c-44eb-9c52-468107aa3a91","year":2022},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.839385Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:6d08355e2a907caad3657cc4b12f9567b814c66574608d9151b7e307068a25f8","observation_id":"11eb8451-aa42-4836-981d-9e291271a19f","resolution":{"observed_at":"2026-07-30T12:01:34.794871Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-30T11:58:56.842628Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.842628Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:50a18cab527f945c0530d717379826b568841d96f110995a9c084f2c7a8e5ba0","observation_id":"ef181521-7df7-4294-bd5b-858def5adab1","resolution":{"observed_at":"2026-07-30T11:58:56.842628Z","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-30T11:58:56.846244Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.846244Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:a3d8d2c71eaf43402c9827a31bdaf8780554138a74e2c239ac91f246cc4f9a3e","observation_id":"2a3863ca-e950-44f5-9c43-25f9c8353c75","resolution":{"observed_at":"2026-07-30T11:58:56.846244Z","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":"10.1145/3632859","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Proceedings of the ACM on Programming Languages","work_id":"5eb5e3ea-c235-4949-999e-f9e1d94e7542","year":2024},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.849611Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:5f69981c45c81d6acce4af9cd07fc50f2ecf223d3f574f6fcdfe28d04efa4284","observation_id":"415b25cc-638d-4744-a90b-f5049f3b7bf0","resolution":{"observed_at":"2026-07-30T12:01:34.773443Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14598","last_updated":"2021-07-14T00:57:34Z","snapshot_observed_at":"2026-07-06T09:16:26.306280Z","submitted_at":"2020-04-30T06:19:18Z","title":"Sum frequency generation spectroscopy of the attachment disc of a spider","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.14598","snapshot_observed_at":"2026-07-30T11:58:56.852739Z","title":"Rosenband","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.852739Z"},"links":{"cited_paper":"/paper/2004.14598","citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:5287c7916d5c807f4b22acb80d919ea73f8848c60aeacdda42a9d67745b797b6","observation_id":"6c0639d5-e4f9-4fcd-9231-31e2a07808c8","resolution":{"observed_at":"2026-07-30T11:58:56.852739Z","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-30T11:58:56.856224Z","title":"TemporalVerificationwithAnswer-EffectModification:DependentTemporal Type-and-Effect System with Delimited Continuations","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.856224Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:948fe7a5488796e9213884cdf1c123b6e40ff9dfc3adddd050891870782bb292","observation_id":"6fef43f8-b46a-4fae-b676-56350b496edd","resolution":{"observed_at":"2026-07-30T11:58:56.856224Z","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-30T11:58:56.859331Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.859331Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:1c85051fa055501c1167519d52dd01540e5c32466e14098d2ae9f08d4d0f1523","observation_id":"fce55ab4-cd5a-4e46-ab75-ec9e7c3074ec","resolution":{"observed_at":"2026-07-30T11:58:56.859331Z","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-30T11:58:56.861719Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.861719Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:f18cb3b654368e33c0d6dc3ca1ffbb484fdf95d0871fdef0a2cb996363c5b481","observation_id":"bede5965-d2bd-49b5-a2e1-503ecebe93e8","resolution":{"observed_at":"2026-07-30T11:58:56.861719Z","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-30T11:58:56.864541Z","title":"causes” The “causes","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-30T11:58:56.864541Z"},"links":{"citing_paper":"/paper/2607.27074"},"observation_digest":"sha256:60b12c9b62c8fbe3eb06d7e844c216ce581a73ec8f591b415e4dcdb17538b342","observation_id":"38d02ccc-05b6-409f-adb2-d143949e05b0","resolution":{"observed_at":"2026-07-30T11:58:56.864541Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27074","last_updated":"2026-07-29T15:59:21Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-03T18:24:20.856638Z","submitted_at":"2026-07-29T15:59:21Z","title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":4,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":27,"verified_exact":11,"verified_fuzzy":0},"total_outbound_references":42},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2607.27074."}