{"as_of":"2026-08-17T15:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:381067cdacf3969bf7d57ce58442d2d0d9ad77a0ed0473d4cf6c061c69704750","coverage":[{"denominator":74,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":74,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T21:35:45.798463Z","state":"measured"},{"denominator":74,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":74,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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.16061/citation-record","integrity":"/paper/2607.16061/integrity","json":"/paper/2607.16061/citation-record.json","paper":"/paper/2607.16061"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T21:35:38.616763Z","title":"https://github.com/4y8/modal-effect-types/tree/frost","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.616763Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:77e584762741270e06e22224857a86db18bf8878c358a402c1ca30f2899906c1","observation_id":"d1f1178a-b863-4802-9617-27ffb307a730","resolution":{"observed_at":"2026-08-01T21:35:38.616763Z","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-08-01T21:35:38.687534Z","title":"1985.The lambda calculus - its syntax and semantics","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.687534Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:11b63d11885d78115859ceefe6e36f31bf2007abdd723ece3f77a10b2279f9fc","observation_id":"f20c7686-f6ef-4ead-addd-834c1c0a8876","resolution":{"observed_at":"2026-08-01T21:35:38.687534Z","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/3622812","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":"31da8f84-55a7-4f80-8efd-b2097298461f","year":2023},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.775040Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:56cb5235bc9344065195744e65c4ba57474c60d26ef2f3367ebca973c4f04a2d","observation_id":"2590e5f9-8cdc-44b0-b03b-b11343c27b53","resolution":{"observed_at":"2026-08-01T21:38:35.641469Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:38.843068Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.843068Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3ba72e52ed2f735d6da96954eaf4cf5f9c9af6a283846977868df2c8bcde74ea","observation_id":"eb43e11b-0000-4a7e-8845-44559032729d","resolution":{"observed_at":"2026-08-01T21:35:38.843068Z","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-08-01T21:35:38.895970Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.895970Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2954aef15b47c444ce042ebe9a1bbe308ea8ed5b7b6a955b361bf4f5441a4867","observation_id":"9ea5eb80-e4ea-43b2-a066-8b125f749b25","resolution":{"observed_at":"2026-08-01T21:35:38.895970Z","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-08-01T21:35:38.951976Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:38.951976Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:fa99a762436ed4064173b3a9e0f1f88ebcc35dd30433c8c549afd35651590a7a","observation_id":"c641d24d-9cfa-4686-ac9f-c5263add9f67","resolution":{"observed_at":"2026-08-01T21:35:38.951976Z","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-08-01T21:35:39.043770Z","title":null,"venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.043770Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:07377e7cfc9016f510d1c0f4d805379c2b2b21353f41120d41713734a5adad13","observation_id":"2218f7d0-b870-434a-b1a2-67f259dd5083","resolution":{"observed_at":"2026-08-01T21:35:39.043770Z","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/3622871","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":"984bc77c-5e8d-4104-81c7-96494e7027ec","year":2023},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.226477Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3d8f81c10b502dcab84de14e00d170254ec54532072c9674034788dde07a9bad","observation_id":"67defd80-a4a2-4cbb-a7f4-d3250f1f16ac","resolution":{"observed_at":"2026-08-01T21:38:35.519935Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:39.345032Z","title":null,"venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.345032Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:73102c147d1e6c097a18141543e4318e95333a902b08c31faccb9c9554af5f2b","observation_id":"627ac0da-16fa-4e18-b00c-75211fc66d8d","resolution":{"observed_at":"2026-08-01T21:35:39.345032Z","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-08-01T21:35:39.463717Z","title":"Krishnaswami","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.463717Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2e35596d57c911b1976f995227aba922b783b5b180ee8302cbeaf6f37c4e452f","observation_id":"290a3ea7-5e09-4cde-b5fa-0e9ea36a7247","resolution":{"observed_at":"2026-08-01T21:35:39.463717Z","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-08-01T21:35:39.523554Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.523554Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:c9f3ab9018b5eda8df1bc6858f2fd00ea7f831d2e7d576757f7cbf9c19a85c98","observation_id":"9cc9c300-8b98-47d5-981b-7c2387bcbb6e","resolution":{"observed_at":"2026-08-01T21:35:39.523554Z","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-08-01T21:35:39.587707Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.587707Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:1b3673d0977a6c74d62bd2815816712f37404201ee0da626bd3d7bd8a4323294","observation_id":"89c36e15-f3b2-427c-95fa-c57134c420dd","resolution":{"observed_at":"2026-08-01T21:35:39.587707Z","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/3547642","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":"537aa9b0-236e-441a-ac51-57ef66f04884","year":2022},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.631323Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:8305cd6bbe5af720a66e969b8c39476a8b2763c0bf80b99b489193272698afd4","observation_id":"d91bcb03-e18d-4efc-ae92-8ee0aad36582","resolution":{"observed_at":"2026-08-01T21:38:35.412543Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:39.704022Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.704022Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:a475e1dbde4afdaa5f3af79771569cb56c9e54f9f3cab0998359e0e2a72a69a4","observation_id":"fd5b713c-14a6-4ad3-b181-c35655dd336e","resolution":{"observed_at":"2026-08-01T21:35:39.704022Z","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/3798253","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":"35d7c932-5258-421f-92a1-cf6a5a0f0deb","year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.841606Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:9eaf3bdfa59c71a82d5663a54e4d26c7ae35d17aed3c2575c0f5d377952bc27c","observation_id":"714fc642-4c9c-42b2-ab32-d33376b3cd3f","resolution":{"observed_at":"2026-08-01T21:38:35.301824Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:39.999475Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:39.999475Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2b51d164e1c55cd678e7fba6fe4d249431acf29417eb822acf17e8bcc23bb88f","observation_id":"1ed0aaf6-f8af-4fc1-a18b-897802cdd3a1","resolution":{"observed_at":"2026-08-01T21:35:39.999475Z","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-08-01T21:35:40.180906Z","title":"2013.Type inference, Haskell and dependent types","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.180906Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:621ed95b1506cec65a600dc6bc0bf5bd83aa84327240d24652e2226e192d21d0","observation_id":"9d701e07-889d-4319-867a-d9721b83f24d","resolution":{"observed_at":"2026-08-01T21:35:40.180906Z","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-08-01T21:35:40.341734Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.341734Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2367da5201fceaad9de22c09f8804e6d10f287be00842578c31c402577036b62","observation_id":"e2478650-893d-47f0-ab69-4c621784f60b","resolution":{"observed_at":"2026-08-01T21:35:40.341734Z","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.1017/s0956796806006034","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields","venue":"Journal of Functional Programming","work_id":"b86f6d5e-ba29-462b-8c5c-56b3240a03f5","year":2007},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.466719Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3f00ba1920eb2c6e7b61e4aebce63b818874e46f67e23c1c54558075aed228eb","observation_id":"9cd84a2f-a197-44dd-b24a-562830257b57","resolution":{"observed_at":"2026-08-01T21:38:35.160056Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3408983","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":"9bcc61ab-2588-41d2-afc9-f26e80d4a1e9","year":2020},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.581773Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:73e3d33a927f3f7f0ed1d22b2a0d04b2c5a8cb6cd524bfac1c06c1c25626786f","observation_id":"b18b928a-0f0d-45f6-b304-fcf79b7636eb","resolution":{"observed_at":"2026-08-01T21:38:35.037018Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:40.746349Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.746349Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:eed0bd2ac59c1a8ef23d89b2e44a0fe308299804e2a2c1bd33eb5e470ae3e395","observation_id":"cda4d7b2-8a37-44e2-a6b2-cc2584dcc9d5","resolution":{"observed_at":"2026-08-01T21:35:40.746349Z","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-08-01T21:35:40.924591Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:40.924591Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:e37a2cb645f2958d1fc2c936cd530999938c992f0fc05bfe2ed5e65339f2e230","observation_id":"28368278-c818-4227-ab4a-7749b664fc31","resolution":{"observed_at":"2026-08-01T21:35:40.924591Z","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-08-01T21:35:41.035683Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.035683Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:91762076362b24307306d6b852be33828f934f2e3c3853467d9d2488764c9b49","observation_id":"96dabc0c-47b9-4da7-b547-c21b8e396b94","resolution":{"observed_at":"2026-08-01T21:35:41.035683Z","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/3729308","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":"1fe224fa-e8f1-48c4-aa5e-9eed17f556ca","year":2025},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.177007Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:abc0dadbbce36793ca5cea39f683c09a23b77200a30755ff3260ce29ac574d27","observation_id":"870f0651-7da0-436f-863b-664eee5caa24","resolution":{"observed_at":"2026-08-01T21:38:34.894465Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:41.259085Z","title":"1990.Definition of standard ML","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.259085Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:b89e30b81ae749729c735b09da7e855cf907dbc94eef9fd6759a9624987c7db5","observation_id":"7e54a630-f6ec-4bcf-a5bb-79b274e1dc7b","resolution":{"observed_at":"2026-08-01T21:35:41.259085Z","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/3828702","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T21:38:34.640786Z","title":"Garrett Morris","venue":null,"work_id":"f912b66c-94ef-490e-824b-5d55b99d891b","year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.353134Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:040df87e60d95ede91accaa4c6303140c4110dd89de10186c76eed85f0333db7","observation_id":"10d0693a-6698-4508-a433-f7878dc4eabe","resolution":{"observed_at":"2026-08-01T21:38:34.773495Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2511.10343","last_updated":"2026-05-01T10:33:38Z","snapshot_observed_at":"2026-08-12T13:33:46.467133Z","submitted_at":"2025-11-13T14:15:36Z","title":"Omnidirectional type inference for ML: principality any way","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2511.10343","snapshot_observed_at":"2026-08-01T21:35:41.442676Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.442676Z"},"links":{"cited_paper":"/paper/2511.10343","citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:6d0bb1bd0eeee6b52a1ffb3474d214abb0af416d1e565c9113a3a10f7ae05808","observation_id":"7541c2b7-d17e-4a9a-bc14-a216e3f89ec8","resolution":{"observed_at":"2026-08-01T21:35:41.442676Z","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-08-01T21:35:41.551051Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.551051Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:922729f5f3abb01631c712587f2c0ffe3ed92c14da404e31f96730da03513baf","observation_id":"6e773ff9-ecb0-4898-b16c-0401c7f39685","resolution":{"observed_at":"2026-08-01T21:35:41.551051Z","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-08-01T21:35:41.667022Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.667022Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:ed9672a707962b20d0f4006f600e639da13cba1c309b167c2cd3e4bd9037a79f","observation_id":"223f59dd-d9d9-485f-9906-d5d8e8db628f","resolution":{"observed_at":"2026-08-01T21:35:41.667022Z","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/3632890","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":"f97b2391-a761-49f5-b75e-e971e14bc727","year":2024},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.754556Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2aec26eff195080f63d1e93d5fda666e3d0add382cd9c6fbec74f0186fa52684","observation_id":"d1a03a2d-99ef-41b5-bfb8-98ad6d29af15","resolution":{"observed_at":"2026-08-01T21:38:34.636927Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:41.836956Z","title":"Pierce and David N","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.836956Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3d1ddcf14dc8e7ddebab3c9c5327bb5f7f835d1dc0de5b3fcc13f54674846eff","observation_id":"8f694003-71d0-4431-b74c-a1d598c9bbcf","resolution":{"observed_at":"2026-08-01T21:35:41.836956Z","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-08-01T21:35:41.897584Z","title":"Plotkin and John Power","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.897584Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:e9498b5afbf92da6a4103883fe3b3ed4de2c749c1842653d5e49f05050003e3e","observation_id":"69c257bd-59be-4fbd-9ef9-a246fd0075dd","resolution":{"observed_at":"2026-08-01T21:35:41.897584Z","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-08-01T21:35:41.973295Z","title":"Plotkin and Matija Pretnar","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:41.973295Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:dfe2d77c01e8c952a4d13226c4027492621950efaeaa81ea2b3fd0acb8ab1a02","observation_id":"efb4b9b0-4dae-4939-ac7c-17895aeae3bf","resolution":{"observed_at":"2026-08-01T21:35:41.973295Z","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-08-01T21:35:42.054990Z","title":null,"venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.054990Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:fa68e9bf160828bed1f433938109647c8e247eaf47519244f2bb559ac7432df1","observation_id":"bf345aa5-0e92-4a8f-a410-018c5961fb57","resolution":{"observed_at":"2026-08-01T21:35:42.054990Z","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-08-01T21:35:42.138463Z","title":"Russo and Dimitrios Vytiniotis","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.138463Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3eeec8212fd402824b5994f97d45c1281fd71bb739bbafec8496c9800379a385","observation_id":"6a7de3d5-d006-4b91-ab78-81dba44b1f4b","resolution":{"observed_at":"2026-08-01T21:35:42.138463Z","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-08-01T21:35:42.219825Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.219825Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:b4c80127cd91b8f3087fcfe10b2c0b044788b7212f5b27f74766b35723493930","observation_id":"deef33a0-980f-4c5e-866e-b0d9f7146128","resolution":{"observed_at":"2026-08-01T21:35:42.219825Z","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-08-01T21:35:42.277713Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.277713Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:8701f6a1e5c67e8982c9d234ffb6c9bd7c85ebe026ef7e3860b31b5eec287364","observation_id":"4595b5ce-af1f-480c-9df0-cbed9fee92d8","resolution":{"observed_at":"2026-08-01T21:35:42.277713Z","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-08-01T21:35:42.358620Z","title":"Siek and Walid Taha","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.358620Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:d8eea449da350617b9251a573d40e9460d1ef119ebd7c4fd494f37e4709a07b2","observation_id":"2f14d729-e14c-4f2b-9ef4-0615d1047df5","resolution":{"observed_at":"2026-08-01T21:35:42.358620Z","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-08-01T21:35:42.446673Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.446673Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:b4dacddcb599e5880a80cbacfed0f497e78f54e5bd6248250cb162b65bd1e033","observation_id":"b33da978-7a83-47fe-ae5a-e635edef3c9a","resolution":{"observed_at":"2026-08-01T21:35:42.446673Z","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-08-01T21:35:42.527250Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.527250Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:1f8833c7ad9b2e6c99e052ec1326bb94b4cb9180cde2a76ee3dac21dd8c33fbb","observation_id":"eb2272a6-7e7d-4074-a2af-7381c5f9b06b","resolution":{"observed_at":"2026-08-01T21:35:42.527250Z","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-08-01T21:35:42.608157Z","title":null,"venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.608157Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:0b6d748148a81152d796d608bdb395425e8d5da237b4f8a8ef0fe26d0f9b5a69","observation_id":"c09975e3-cbc9-4b2d-a51d-4edc152292c6","resolution":{"observed_at":"2026-08-01T21:35:42.608157Z","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-08-01T21:35:42.690599Z","title":"Peyton Jones","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.690599Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:e0e960f97ed8423764aab7fbd12c20409236001552007355e24a4298b58c90e7","observation_id":"4d043261-c89e-465c-b230-19f4908de258","resolution":{"observed_at":"2026-08-01T21:35:42.690599Z","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-08-01T21:35:42.771249Z","title":null,"venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.771249Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:a8eacd539c8a4640bd9697e0b63a16f58e297b0e5d243c1f3e61de7f48f54470","observation_id":"53fee70d-392b-480d-8b10-a2799745e8e0","resolution":{"observed_at":"2026-08-01T21:35:42.771249Z","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-08-01T21:35:42.826671Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.826671Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:777b3e0d85b90aa5a4815f63eeb198a2d6598fa66f428696c4b2b2a64c72ddff","observation_id":"bbfc7786-2e7b-47e5-a76f-1a2aee5db20f","resolution":{"observed_at":"2026-08-01T21:35:42.826671Z","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-08-01T21:35:42.908845Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.908845Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3690859b9eb23bbbe935f5dc527409353f158329abebe612457af2cf31f71c83","observation_id":"38cecab3-7e58-40ec-b8d2-8c0ecc611e64","resolution":{"observed_at":"2026-08-01T21:35:42.908845Z","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/3632910","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":"32dba091-f3ab-46f3-86d8-805cd80aedfe","year":2024},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:42.990643Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:15b996fc26a2332fa3c391df7ff1ff822d5e54e6970f09e4d7ef93c10c10cdbc","observation_id":"3a979821-3c96-4787-94ed-436e1e56be4d","resolution":{"observed_at":"2026-08-01T21:38:34.440216Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ecoop.2022.2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"130f09e9-021d-446f-8daf-aaefa86a880e","year":2022},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.081256Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:dcb71d093b10e7083d5363c3445dabe497f23b4e29830125ffb4b7f8e283d1a7","observation_id":"4915fc25-b3f0-4f05-a01a-cc7cc4d1e915","resolution":{"observed_at":"2026-08-01T21:38:34.352019Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-08-01T21:35:43.161601Z","title":"A solution to it is a tuple(𝜃1 :: Θ0⊑Θ 1;𝑃1) such that Θ1⊢𝜃 1𝑃∼𝑃 1 where Θ1⊢𝜃 1𝑃0 ▶𝑃1","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.161601Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:1e88c07a1be23469e31c6c251b98d2129929a716780612f49f282866e8bd648e","observation_id":"8b1f760c-e0b3-4426-8346-6bdf09a2bd3e","resolution":{"observed_at":"2026-08-01T21:35:43.161601Z","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-08-01T21:35:43.220357Z","title":"A solution to it is a metasubstitution𝜃1 :: Θ0⊑Θ 1 such that Θ1⊢𝜃 1 ˆ𝛼∼𝜃 1 ˆ𝛽","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.220357Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:0dcd680b35e1be9dd233e1a2a32189e668e8b806b21ed3e8601e5d4032e5dd53","observation_id":"b2b1f002-7a94-4b09-bbbf-6567477b687c","resolution":{"observed_at":"2026-08-01T21:35:43.220357Z","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-08-01T21:35:43.295115Z","title":"A solution to it is a metasubstitution𝜃1 :: Θ0,Ξ⊑Θ 1 such that Θ1⊢𝜃 1𝑃∼𝜃 1 ˆ𝛼","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.295115Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:4a16a27fa2c61a4d6d3f3090356909c37dc8dc6dbb2f0cf02777e38414e97dff","observation_id":"18cb9f90-9b29-476b-8c90-8b823e408729","resolution":{"observed_at":"2026-08-01T21:35:43.295115Z","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-08-01T21:35:43.524294Z","title":"Lemma C.7 (Completeness and optimality of consistency)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.524294Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:29f3213476c33ada486cdbb82c9c3f2c652bdde080766ffe5f649cc3a478edfc","observation_id":"98515dc2-cb83-4243-bc1d-18638849c010","resolution":{"observed_at":"2026-08-01T21:35:43.524294Z","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-08-01T21:35:43.752768Z","title":"40 Wenhao Tang, Shengyi Jiang, Aghilas Y","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.752768Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3f21d505ca783883c7e900f986a9775129e1aa51067cf082a01fe18bc9242ae4","observation_id":"bd463151-8958-4267-a70a-8235281480fe","resolution":{"observed_at":"2026-08-01T21:35:43.752768Z","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-08-01T21:35:43.842675Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.842675Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:0ef771a314878fc2313ea37287a768197049895e4ac37496bb8d1440dae4ee15","observation_id":"7f28d32b-441a-4736-89b7-b3081be57233","resolution":{"observed_at":"2026-08-01T21:35:43.842675Z","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-08-01T21:35:43.898016Z","title":"By 10 , we have𝑃=𝑃 1→𝑃 2","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:43.898016Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:4dd7154f75e24e392f8fb7125913ae46bf58ac85de13ef6a05aec8b0a0ccec56","observation_id":"7c198b1a-bd5c-4a78-a699-b26a79bd0d17","resolution":{"observed_at":"2026-08-01T21:35:43.898016Z","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-08-01T21:35:44.083268Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.083268Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:3739482865e5e1f3328b35f2ce53815ca4968bb9177751abdbec0c0bcaa06882","observation_id":"8208c01a-84c6-4bd7-8294-b445061fc8f3","resolution":{"observed_at":"2026-08-01T21:35:44.083268Z","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-08-01T21:35:44.133440Z","title":"We proceed by case analysis on𝑃𝑖","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.133440Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:92aa9bf2a98dc64a4f57719ff39319123a981c83643676948e7b3c96413fc370","observation_id":"19c81267-fcab-4e02-9f90-62e7992972ee","resolution":{"observed_at":"2026-08-01T21:35:44.133440Z","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-08-01T21:35:44.203619Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.203619Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:76d779456cc00574608d44507a237a1683f9defe9253a56f723d389b54f774be","observation_id":"9794efe8-18af-403f-a115-e40f41588dbb","resolution":{"observed_at":"2026-08-01T21:35:44.203619Z","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-08-01T21:35:44.317592Z","title":"We proceed by case analysis on𝑃𝑖","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.317592Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:1e755008c11c785713470071cfed94a6193386288d9ff22a6d9fea5023b8e425","observation_id":"aaa07337-a871-4b95-8e23-4109add35abb","resolution":{"observed_at":"2026-08-01T21:35:44.317592Z","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-08-01T21:35:44.384127Z","title":"We proceed by case analysis on𝑃𝑖","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.384127Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:346a68d28d5967aa8eebeeaff5986e0042db0cfb337d5f95a36b7490815b0831","observation_id":"3bc309c6-5557-47a5-bcb7-179d136c7f6f","resolution":{"observed_at":"2026-08-01T21:35:44.384127Z","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-08-01T21:35:44.459689Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.459689Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:cb900aa97f21a1610e115adce8ca28d083862be50f044fc33038fbc6a69a97e0","observation_id":"b9fadd19-3952-4914-885f-3119bf9ea85d","resolution":{"observed_at":"2026-08-01T21:35:44.459689Z","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-08-01T21:35:44.549724Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.549724Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:970bb2d21ba8c988cf5d1280869e2d8e2788d9e5f11597029925f8c1c9c300b4","observation_id":"ba7d7bf5-39d8-41f0-9d5c-4167fd4c5ec4","resolution":{"observed_at":"2026-08-01T21:35:44.549724Z","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-08-01T21:35:44.554891Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.554891Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:90f2cfe48cf71b64f0b368618bfa1d23303dc0d60303b7e6afd19359a1063bb3","observation_id":"361c5232-c4af-4095-8c35-38b7d6b70bb9","resolution":{"observed_at":"2026-08-01T21:35:44.554891Z","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-08-01T21:35:44.665559Z","title":"Case U-Flex-Flex-Id ˆ𝛼∈dom(Θ 0) Θ0⊢ ˆ𝛼≃ ˆ𝛼⊣Θ 0 Trivial","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.665559Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:6f5ea89605c7ded16294e9fc9d78b2d2aec699e7fc38cd4969d9ec7e74735bc5","observation_id":"6ce048e5-811c-44d3-b1c4-b6c44a35f070","resolution":{"observed_at":"2026-08-01T21:35:44.665559Z","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-08-01T21:35:44.771681Z","title":"CaseU-Assign-UnivGhost-Id","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.771681Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:c6b3f508d77e3414cbdb8c8818e270150327e1d8f69df06fed8edeec4151fca4","observation_id":"a8128164-1153-4d61-94a9-bb31919c9293","resolution":{"observed_at":"2026-08-01T21:35:44.771681Z","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-08-01T21:35:44.874820Z","title":"Case U-Ghost Δ2∩ftv(𝑃 0)=∅ Θ0[𝑃0]- -Δ1|Δ 2 ∼𝑃 0⊣Θ 0 We haveΘ 0⊑Θ 0 by reflexivity","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.874820Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:84cf86b33d7e446a245c0128389c05c9555162777be75abb50e2ff45b35a923c","observation_id":"9753ffff-d266-44c9-b706-1124a177105d","resolution":{"observed_at":"2026-08-01T21:35:44.874820Z","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-08-01T21:35:44.997081Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:44.997081Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:303f2bb3d8cc731a45169d9565ea50a19d73c07db735f5ee58cdbaaa143c99ec","observation_id":"52dbd681-8c48-4cd7-a7c2-841cf4172db2","resolution":{"observed_at":"2026-08-01T21:35:44.997081Z","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-08-01T21:35:45.063793Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.063793Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:b14543fd5adadda55f8665fdf6e1746ed249c3eaeab9042fc765fb4f7a734275","observation_id":"a94890ad-22ae-49b9-91f4-ccc192ca41c0","resolution":{"observed_at":"2026-08-01T21:35:45.063793Z","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-08-01T21:35:45.147842Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.147842Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:8ef669f0e9bf969ef204ed6f8b80c1bb4592aa69142dec2325eee4f8770c49f0","observation_id":"efa5a5b0-fd28-41c5-bc8e-d471b63dcd42","resolution":{"observed_at":"2026-08-01T21:35:45.147842Z","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-08-01T21:35:45.244598Z","title":"By induction on the context Θ0 and case analysis on which algorithmic unification rule to use","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.244598Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:477c839a7c2e3d124f72a7596a424181826c327dd8f7e7b3dce212cfcea8adbd","observation_id":"a0f7ab62-8004-4e74-857e-a0d249b084ef","resolution":{"observed_at":"2026-08-01T21:35:45.244598Z","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-08-01T21:35:45.343884Z","title":"there existΘ 1 and𝜃 1 such that Θ0|Ξ⊢ ˆ𝛼≔𝑃⊣Θ 1 𝜃1 :: Θ1⊑Θ𝜃≡𝜃 1 :: Θ0,Ξ⊑Θ","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.343884Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:cb0f0fa635ae03d852bf15c3c6a77070c6dfdbfcc23001d48a34614e4604fa72","observation_id":"8d2e5e5a-fcf6-43cd-9042-e90da47a90e6","resolution":{"observed_at":"2026-08-01T21:35:45.343884Z","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-08-01T21:35:45.506446Z","title":"We prove by induction on the declarative consistency derivation Ψ|Θ⊢𝜃𝑆∼𝑄","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.506446Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:59ce5873c944c719c4f8530090e6de5c0570c7fe617e5cd8025c15743d976d7f","observation_id":"c023a4dc-90ec-405e-87e2-9852aa4a88e4","resolution":{"observed_at":"2026-08-01T21:35:45.506446Z","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-08-01T21:35:45.595435Z","title":"Case C-Ghost ·|Θ⊢ ∼𝑄 In this case𝑆= and𝑃=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.595435Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:20fae84bbd27adbe59b69857e08bc62f41ad1e169b15449f786d1e6d7396abb9","observation_id":"251cf4b3-3e8d-40bf-b787-626109a77dc5","resolution":{"observed_at":"2026-08-01T21:35:45.595435Z","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-08-01T21:35:45.690878Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts 117 By inversion on 4 , we have Θ,𝛼|Δ 2,𝛼⊢𝜃𝑃 ′ ▶𝑄 6","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.690878Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2afd9f8542d7985a1e445a243cff6e0c40d7e6240cf4d85a1974fdbbfb52c887","observation_id":"ae9668f8-c9d9-4633-8af4-b0d45203d2ab","resolution":{"observed_at":"2026-08-01T21:35:45.690878Z","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-08-01T21:35:45.798463Z","title":"By guardedness of𝑄, inversion on 4 gives Θ|Δ 2⊢𝜃𝑃 ′ ▶𝑄 6","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-01T21:35:45.798463Z"},"links":{"citing_paper":"/paper/2607.16061"},"observation_digest":"sha256:2313bb58e6de116099fb3e4564c58779061aa336f46aed7d8a187fd31a911793","observation_id":"f2190744-a3da-4960-ab41-35f9fef41e5f","resolution":{"observed_at":"2026-08-01T21:35:45.798463Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.16061","last_updated":"2026-07-17T15:39:23Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-17T12:32:13.382984Z","submitted_at":"2026-07-17T15:39:23Z","title":"Bidirectional Typing with Freezing, Skeletons, and Ghosts"},"reference_resolution":{"displayed":74,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":62,"verified_exact":11,"verified_fuzzy":0},"total_outbound_references":74},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 74 of 74 outbound references and 0 inbound Pith citation observations for arXiv:2607.16061."}