{"as_of":"2026-08-16T06:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:98c411232753d66440a16c9e09cda6eaafb642066a8c06cec06d5c1af9847371","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:08:04.944089Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.05839/citation-record","integrity":"/paper/1908.05839/integrity","json":"/paper/1908.05839/citation-record.json","paper":"/paper/1908.05839"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.653588Z","title":"Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University","venue":null,"work_id":"60a5d0be-4047-4573-96f3-743d0c326da3","year":2009},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.867129Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:e1949b123f63c77dbf88e6b9a6c8e629579e217b70e94f57819ea9f5fd1161e6","observation_id":"4aaffa82-0f5b-486e-8141-f5b7da61c4d4","resolution":{"observed_at":"2026-08-14T13:08:05.664506Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.635092Z","title":"Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University","venue":null,"work_id":"67189849-a53c-4e6e-87d5-d23e524a42a4","year":2017},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.874056Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:608c2bfa7351995a715fa84eeea3486a3495d3d2cacb518e13af02f1d871d3e1","observation_id":"487765b5-fd58-44ba-b73c-f53e04669e67","resolution":{"observed_at":"2026-08-14T13:08:05.640476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:08:04.881963Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.881963Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:32479c0d84196adcc91b144295c0252d30df35bd7d81230d2f77fbf7137de58b","observation_id":"defc5ce7-7ffc-4fa1-a987-5bbf01dd3476","resolution":{"observed_at":"2026-08-14T13:08:04.881963Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.577706Z","title":"In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 , Giuseppe Castagna and Andrew D","venue":null,"work_id":"683a8c5c-2a7f-4556-88e7-cfc13c84dfc1","year":2017},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.894198Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:28865de5c43657a815c05c0938fd276af0bfd238c2e29cc1d875bbf9964b0103","observation_id":"0cd2b9fb-2d42-4897-9a0b-be4e10689ee1","resolution":{"observed_at":"2026-08-14T13:08:05.585895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.549515Z","title":"Robert J","venue":null,"work_id":"29cca782-1356-4e53-bfad-8622b1e4c94b","year":1998},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.921533Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:9bba91d1117cce90ba69ac20b92272a4f7e3bd3aaa697233e6af2f5112c91899","observation_id":"cafb750e-4d1b-4fc9-9a61-28898abdd598","resolution":{"observed_at":"2026-08-14T13:08:05.553432Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.537671Z","title":"ACM Trans","venue":null,"work_id":"8ee2127b-0f71-4ecf-b241-7bf349c2552d","year":2014},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.927471Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:af87f7c3be04fe0bd95386daf26468f2e3e7ac78b49c636fd491d6275d187a27","observation_id":"273ec81f-0826-440b-9a95-a3f5b48338bd","resolution":{"observed_at":"2026-08-14T13:08:05.541742Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:08:04.940497Z","title":"In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’18)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.940497Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:58f542657d09a1604c8847d13d3a5f8360aca5168a77e0bee2b44d2c9e11c263","observation_id":"ee955089-47a1-4ef6-abd8-e6db8fa6734a","resolution":{"observed_at":"2026-08-14T13:08:04.940497Z","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/3341716","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:04.978954Z","title":null,"venue":null,"work_id":"3a8514cc-4f54-41f5-ae84-4af926516a52","year":2019},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.944089Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:5d599485f04baf92e9b3724417831c0d8ffd7aaa192763931acd165ad130a772","observation_id":"2c33996b-7a14-4d72-a8e0-9dd7d49b8307","resolution":{"observed_at":"2026-08-14T13:08:04.984702Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-17184-3_44","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.016766Z","title":"https://doi","venue":null,"work_id":"4446c4a0-16f6-4a10-88eb-09f6b10652de","year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":242,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.833007Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:4863f8304fa9e57a706f78c51ec15eedb1ea732ded8ad54054a7a2bf4e87e6dc","observation_id":"df6db490-59c9-4bfb-ade0-61a955f8b45a","resolution":{"observed_at":"2026-08-14T13:08:05.022230Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.796017Z","title":null,"venue":null,"work_id":"595f5bc9-7ff7-4f96-b8cd-3a5d3fd717a8","year":1969},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1969,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.813559Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:bd42357f7bc8e75ef85364ca5aa97bb75f8377e672d2a5b5f8299975c5e214f7","observation_id":"9b27103b-7e89-428d-860c-a4cdf2a09bdb","resolution":{"observed_at":"2026-08-14T13:08:05.800373Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.717027Z","title":null,"venue":null,"work_id":"0d129300-e7e9-42e1-bc0b-6f7f706bcb58","year":1978},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1978,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.848226Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:fc03389d831934b5405f4a3a3ce4d25a40d1f991bed78562686a30674e636869","observation_id":"fcbefb56-9b5f-403c-aab8-bcf8c416f3b0","resolution":{"observed_at":"2026-08-14T13:08:05.720978Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.863223Z","title":"Journal of Symbolic Logic 48, 4 (1983), 931–940","venue":null,"work_id":"f3682c52-5931-4e80-898c-ed43edccaf34","year":1983},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1983,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.769466Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:f71b29e80c15b495be7d205212cbe663f5bb458bee8a5b7fef3966ce80fa726a","observation_id":"805bb86e-af4f-4fa7-812d-db9cbb433368","resolution":{"observed_at":"2026-08-14T13:08:05.867896Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.778462Z","title":null,"venue":null,"work_id":"619b8665-facf-45ea-adb3-e7c618031779","year":1985},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.827391Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:4ba52d2097a8263f4c7595845390bd3581c9a5944bbb2c053971c1f312695e10","observation_id":"91b71ba5-1c82-42b8-9660-189ecdee149c","resolution":{"observed_at":"2026-08-14T13:08:05.787508Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.744107Z","title":"Theoretical Computer Science 44, 0 (1986), 51–68","venue":null,"work_id":"f4a64985-6abe-4998-aba2-976231d8ac2c","year":1986},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1986,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.841379Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:88e32f64644f6f42593bc8e770293f3fa9fadfa3f7d477f41aad8e5b2347fd38","observation_id":"f5b1508c-8399-49fa-962a-d7c183993c21","resolution":{"observed_at":"2026-08-14T13:08:05.748787Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"oclc/1861282","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.332226Z","title":"Technical Report CMU-CS-88-159","venue":null,"work_id":"7c39107b-2cea-484a-baad-e309e0b4533d","year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.890051Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:841bc3a518f37996c97dc5a229feb302078e85780c2c3b7abdbe731e755a7ff3","observation_id":"62e0ac74-51ae-4ef0-8917-6acfcbe12ee2","resolution":{"observed_at":"2026-08-14T13:08:05.339957Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.729052Z","title":"ACM Trans","venue":null,"work_id":"5df71132-d83b-4346-a4a9-db68a68a6b47","year":1994},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.844882Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:f5e990daab718d0b5872966a2bb357d6f35a41fa1d5c36a614fdd986d743f41f","observation_id":"d5629a3a-c295-440c-931a-ebb12b26ab69","resolution":{"observed_at":"2026-08-14T13:08:05.735403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.838681Z","title":"Science of Computer Programming 26, 1–3 (1996), 167–177","venue":null,"work_id":"ea163f8e-77a7-4804-bcb8-4640b186a110","year":1996},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.782664Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:4f87ceed455f86ad83e1224487eab6831c97c6b47d82e6875dc45e0d15a6ec7a","observation_id":"c8e5cc71-7ca7-4fc0-994a-f5c4d00025f6","resolution":{"observed_at":"2026-08-14T13:08:05.842729Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.763363Z","title":"ACM Trans","venue":null,"work_id":"7230565a-f27c-4c3e-b478-8bc18b540cdc","year":1998},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.837503Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:7e3f8b1e18c61179fef2fbcca9f7920d63b01f928d5374acc5c735d678d7fa2e","observation_id":"af5ab5a0-9f14-4171-8490-e42440ef7c90","resolution":{"observed_at":"2026-08-14T13:08:05.768242Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.606031Z","title":"ACM Trans","venue":null,"work_id":"66219bb2-0366-40bd-b3d7-c7eb40f7af3a","year":2000},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.886112Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:5be6cea97cd1ea01e78854b7ef52d9088e3b32a8e3466c92a6a36d5f1063dcf3","observation_id":"9788ad9e-ffdf-4ebc-8a8f-6fdbcc304c16","resolution":{"observed_at":"2026-08-14T13:08:05.611913Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.621636Z","title":"Mathematical Structures in Computer Science 11, 4 (2001), 511–540","venue":null,"work_id":"c1a4cd31-9034-4a2a-9964-8580f3f498c1","year":2001},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.878242Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:bf516718963fa44d9918cccf5f9876be5609e4f9aeb52e787dddd2915e4f5126","observation_id":"01738948-70cd-499d-a705-6e3fc27eb1dc","resolution":{"observed_at":"2026-08-14T13:08:05.626093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.849943Z","title":null,"venue":null,"work_id":"77a643a7-9075-41f4-94ce-42152a731869","year":2003},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.777341Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:55f7faef9c1312ad418b550d36b66839f6a468caf229371f2f9e5167defba0cb","observation_id":"852b7627-4e91-4806-9b7b-7fda419f42dd","resolution":{"observed_at":"2026-08-14T13:08:05.854007Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.674673Z","title":"Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University","venue":null,"work_id":"27fde179-17fe-45fe-85d0-5ae14e2086ea","year":2004},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.861206Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:2693e720cfd56cbef17a27a1eee76e33c3fdd864aff8099b928a69ff91ddadba","observation_id":"240d283b-6bb9-4480-9f04-ec889d94a745","resolution":{"observed_at":"2026-08-14T13:08:05.679193Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9803.11598","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.178311Z","title":"In Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP ’06)","venue":null,"work_id":"02b07176-bb24-4489-ab09-b2b255ae8f53","year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.936402Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:e278fc7ed44b7779d047a27dbd6fe970cfc0953c667b3a8c27d4c9a8682b5bfe","observation_id":"8684b046-2a95-4fa8-b91e-b7a379b06e56","resolution":{"observed_at":"2026-08-14T13:08:05.187034Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.688965Z","title":null,"venue":null,"work_id":"cf105763-2242-493c-b6a6-b84d496b776f","year":2007},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.856637Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:09dbcafd5c50d383f0c5b3dc4c509e15a6d94dabd360cd0a20a2b705c1db9701","observation_id":"3abc60af-d126-4c65-bd9d-c47ba9048de3","resolution":{"observed_at":"2026-08-14T13:08:05.693411Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.701234Z","title":"ACM Trans","venue":null,"work_id":"acb9c12d-7ab7-46d6-91d7-6bbf0cc70302","year":2008},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.852231Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:957ba944dba1d08ff6ed5d5c5688362dd7216a7bb1e2bafb7692d1aa9dd5ff87","observation_id":"4ca6f917-a14e-4f03-8131-45785f5a9462","resolution":{"observed_at":"2026-08-14T13:08:05.709179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:08:04.818323Z","title":"In Proceedings of the 36th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL ’09)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.818323Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:8f0d3ee6852de0bcdae38876fccfa8af6da54a7e8cebc0feb7e42f5e308262d2","observation_id":"b8b2b744-fd03-41ba-b7df-29267605e7a3","resolution":{"observed_at":"2026-08-14T13:08:04.818323Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.521975Z","title":null,"venue":null,"work_id":"1d5d8d49-b209-40d8-9b9a-cd9948b87168","year":2011},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.932096Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:338bc0f297762b2835788ca8aea892d08b2c32acfb0868afb3dc1e5986a96d29","observation_id":"bc0ffd96-b4bf-41fd-a4d0-bcf96c5249d5","resolution":{"observed_at":"2026-08-14T13:08:05.526984Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.563111Z","title":"Logical Methods in Computer Science 8 (2012)","venue":null,"work_id":"57cf21bd-27f7-41c0-a556-98e0e4db9fb7","year":2012},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.898536Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:1825b043eb2548a978b80a9fb8ec7b27d997f1c9e3597f6c5595432c20665452","observation_id":"97f004a2-ad89-4bfe-ab92-ea883026b3ff","resolution":{"observed_at":"2026-08-14T13:08:05.567807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1306.6032","last_updated":"2020-08-22T17:08:33Z","snapshot_observed_at":"2026-08-15T00:12:50.265926Z","submitted_at":"2013-06-25T16:52:51Z","title":"Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism","version":2},"cited_work":{"arxiv_id":"1306.6032","doi":null,"metadata_source":"pith","pith_arxiv_id":"1306.6032","snapshot_observed_at":"2026-08-14T13:08:05.476742Z","title":"Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism","venue":"cs.PL","work_id":"7ac10791-0d07-4863-b271-a2274d75bb1b","year":2013},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.797947Z"},"links":{"cited_paper":"/paper/1306.6032","citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:48d4179c43efe2a4eb4ac6214a8de7bfe94505d5f202bbc0cc00bf118d234a74","observation_id":"8f9855d7-cb95-49f9-950b-cc5413c5d0ab","resolution":{"observed_at":"2026-08-14T13:08:05.482458Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.827435Z","title":null,"venue":null,"work_id":"46653d63-e5db-499f-92c7-dd889284573c","year":2014},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.788942Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:15bfe30df8f41395abb886f75efd92c885f6106b0ae9c595aa016e5fccc86537","observation_id":"18243a9c-466e-4b01-a3f9-1089c4054fea","resolution":{"observed_at":"2026-08-14T13:08:05.831455Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1504.07680","last_updated":"2020-08-22T18:49:37Z","snapshot_observed_at":"2026-08-14T22:50:36.949402Z","submitted_at":"2015-04-28T22:50:15Z","title":"Elaborating Evaluation-Order Polymorphism","version":4},"cited_work":{"arxiv_id":"1504.07680","doi":null,"metadata_source":"pith","pith_arxiv_id":"1504.07680","snapshot_observed_at":"2026-08-14T13:08:05.500392Z","title":"Elaborating Evaluation-Order Polymorphism","venue":"cs.PL","work_id":"8dc79f62-ed2d-4233-9a92-afe8e545cf16","year":2015},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.793407Z"},"links":{"cited_paper":"/paper/1504.07680","citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:03391cd45c9bc21dc49fd9e4890f3524905db3c2e2d6dda3c947e6fc67e966f4","observation_id":"7a01194c-8da7-475a-b6d4-6a89430356fd","resolution":{"observed_at":"2026-08-14T13:08:05.511168Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T13:08:05.809394Z","title":"Electronic Notes in Theoretical Computer Science 332 (2017), 149–168","venue":null,"work_id":"d5e3bf7e-0141-441f-aabb-438ae0028615","year":2017},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.808375Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:59c84e7eaf0bde02dd1b35684dd4c1cda00f39451ad5d0a57fa944e113ff09a2","observation_id":"e8222d82-cb33-4a3a-a11e-33e3bfd6a4b6","resolution":{"observed_at":"2026-08-14T13:08:05.813736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:08:04.915610Z","title":"https://doi.org/10.1145/3192366.3192389 Wilfried Sieg and John Byrnes","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.915610Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:fcd6100fd11b612c2fee4e9f1569a2619e53178ddce60d60ad44760ece1ebc1c","observation_id":"aab61819-fd8c-4876-b06d-4ab5a403e184","resolution":{"observed_at":"2026-08-14T13:08:04.915610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1601.05106","last_updated":"2020-09-19T22:48:42Z","snapshot_observed_at":"2026-08-14T22:13:58.174891Z","submitted_at":"2016-01-19T21:36:21Z","title":"Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types","version":4},"cited_work":{"arxiv_id":"1601.05106","doi":null,"metadata_source":"pith","pith_arxiv_id":"1601.05106","snapshot_observed_at":"2026-08-14T13:08:05.445366Z","title":"Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types","venue":"cs.PL","work_id":"6766684f-4a11-4de7-9f3d-e9c1168bb887","year":2016},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.801941Z"},"links":{"cited_paper":"/paper/1601.05106","citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:f670f5cfdc7a919ebea7668768d8aaaed7df311fe4762efe5a1e2ff8f489f169","observation_id":"a03f0d99-c66d-4df2-81aa-33e40e854720","resolution":{"observed_at":"2026-08-14T13:08:05.451163Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:08:04.906465Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-14T13:08:04.906465Z"},"links":{"citing_paper":"/paper/1908.05839"},"observation_digest":"sha256:a01c28075596a32e7b164446579672c508934fbd0a5c315aa6dc6ae04e68c163","observation_id":"f022cd13-947c-48ef-84a3-ffde5995118b","resolution":{"observed_at":"2026-08-14T13:08:04.906465Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.05839","last_updated":"2020-11-14T18:26:29Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T02:29:13.748659Z","submitted_at":"2019-08-16T04:22:23Z","title":"Bidirectional Typing"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":12,"verified_exact":6,"verified_fuzzy":16},"total_outbound_references":35},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.05839."}