{"as_of":"2026-08-16T06:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dafcb00d73d403b8bf23010f7a9fa87a7c65280fb60683fe5315f068faf7573a","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:35:10.185999Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"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.02940/citation-record","integrity":"/paper/1908.02940/integrity","json":"/paper/1908.02940/citation-record.json","paper":"/paper/1908.02940"},"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-14T14:35:10.807699Z","title":"2017.Interactive Programming in Agda - Objects and Graphical User Interfaces","venue":null,"work_id":"2b55f863-f2b6-4c92-accd-2a81cc5c5199","year":2017},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.076794Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:d643e1ccfcff81f512b6d6d25f7f27923a80b6785e3cfb575ad613efbb23cc49","observation_id":"1df98b16-8951-4214-b1e3-02a9f8ae7df0","resolution":{"observed_at":"2026-08-14T14:35:10.819827Z","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-14T14:35:10.481921Z","title":null,"venue":null,"work_id":"9a7beb01-b031-464b-8975-4cb3fe2406b4","year":2018},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.185999Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:7e08b958373d8b5b32ba5c4378825b9605cd8b9413651b7d203ce5c8b4080d36","observation_id":"2ee2aff6-d9db-4685-addb-a979303e1cd7","resolution":{"observed_at":"2026-08-14T14:35:10.487927Z","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-14T14:35:10.719856Z","title":null,"venue":null,"work_id":"3f436e4b-50c6-455f-8958-46a0ed6fbc77","year":2009},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.112936Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:315e540c073089f5a4babdf5393a127c616daf404125840df161d18ee834fc5f","observation_id":"59f8d325-ab14-4e72-981f-34eeafcd9ff8","resolution":{"observed_at":"2026-08-14T14:35:10.725794Z","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-14T14:35:10.692504Z","title":"Acta Informatica 42, 2-3 (2005), 191–225","venue":null,"work_id":"3e4aad69-3efd-4606-b8e9-9ccdb5514ce6","year":2005},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.118426Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:e27d5e008740112dc4eef837679ddcee692ac2772236f22d2da815a93c58c777","observation_id":"0aca860a-bb4b-4197-9b4d-178ec611052a","resolution":{"observed_at":"2026-08-14T14:35:10.699748Z","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-14T14:35:10.626154Z","title":"ACM Comput","venue":null,"work_id":"0386da81-f4ac-4bf7-b384-b3e1f67ea841","year":2016},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.136190Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:a5f8fa5889805023a75c3a86136114e8cbd8ce8875ecdc1ec942e883d7b653e5","observation_id":"dfc2e4ff-c229-4808-9af4-962c86c2a47c","resolution":{"observed_at":"2026-08-14T14:35:10.632278Z","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":"10.1017/s09601","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:35:10.226054Z","title":"Mathematical Structures in Computer Science 28, 9 (2018), 1541–1577","venue":null,"work_id":"0df64215-ad26-4678-8e25-6024c567e1f3","year":2018},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.153625Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:937287bf772f5e3cc246cc6c7e7767fe6a4bf3f1c9eaf3c0081e8499c08f8476","observation_id":"f2feedf1-0f8e-4ba5-ac2a-65adc389c465","resolution":{"observed_at":"2026-08-14T14:35:10.233584Z","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-14T14:35:10.573770Z","title":"PACMPL 2, POPL (2018), 16:1–16:34","venue":null,"work_id":"96ec2f6b-7ba1-41d1-b5e3-00fc1be66ba2","year":2018},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.159931Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:8c82328510c6553b077ccf3f3290f10769d678af004048704843a4d1bf76e22a","observation_id":"e8185131-0e1f-4f0e-933d-c99dd5fb03af","resolution":{"observed_at":"2026-08-14T14:35:10.579792Z","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-14T14:35:10.170174Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.170174Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:b1db62ed2cfad444930ac4fe665504c389964af032b301e8224590291e8ce319","observation_id":"f17315e2-de49-4ae1-aa86-f031386f0a06","resolution":{"observed_at":"2026-08-14T14:35:10.170174Z","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-14T14:35:10.525176Z","title":null,"venue":null,"work_id":"b37f6c24-35c5-42e8-a444-703ea6f82ffa","year":2018},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.175646Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:b0ae67659ed58191af322317cbecceb7ea4fe8034b136b7ebfccf69f7894b342","observation_id":"ac53ff6d-5f20-4ca2-8970-10215e06139f","resolution":{"observed_at":"2026-08-14T14:35:10.534083Z","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-14T14:35:10.503695Z","title":"This context only contains bindings for channel endpoints","venue":null,"work_id":"49628f76-0eef-4acd-b97e-394e0f864c29","year":2005},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.180915Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:3b74b361b4613caf0e0aee0688b212e3276f8608f9b61a957881fff5d859aa86","observation_id":"22d883b9-e6f9-4045-bdf6-e355a6c318b5","resolution":{"observed_at":"2026-08-14T14:35:10.510746Z","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":"10.4204/eptcs.203.1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:35:10.246695Z","title":"https://doi.org/10.4204/EPTCS.203.1 Scott Owens, Magnus O","venue":null,"work_id":"95aef59a-2f21-48dc-9ce6-ffe4bc813104","year":null},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":203,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.148281Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:945d4c8e4b716dbb82476ae467751c46dda3ab5abcc4b23b3b6ce8af130fced4","observation_id":"79311260-a87b-4e35-971a-2919d3ef999f","resolution":{"observed_at":"2026-08-14T14:35:10.252970Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:35:10.082467Z","title":"ACM TOPLAS 23, 5 (2001), 657–683","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.082467Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:ec6b866372f62260189802a0a6be0659a8441bfdae13f4ee6557414ab10f5da1","observation_id":"1c6688f0-276b-40cd-910a-44f71495100e","resolution":{"observed_at":"2026-08-14T14:35:10.082467Z","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-14T14:35:10.762465Z","title":"Logical Methods in Computer Science 1, 2 (2005)","venue":null,"work_id":"ecb6d3ba-efd8-455d-ae2e-2a6cbc583830","year":2005},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.092802Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:c96ec3d8e4dd6bca840df039678cbd9587c1be5ea64357187fec09329b0b2ba4","observation_id":"587a099a-33ab-4c36-a3f5-c26588b9fd10","resolution":{"observed_at":"2026-08-14T14:35:10.768885Z","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-14T14:35:10.739888Z","title":"In Principles and Practice of Declara- tive Programming, PPDP 2009, António Porto and Francisco J","venue":null,"work_id":"030c6138-abba-4285-b2ea-76f43b925d9c","year":2009},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.098227Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:dd48750050c4093e5bde9ea06e503a4648262c7fb6e31d85a2990e842d47ae3a","observation_id":"0b6e435c-4916-469d-9ab9-e6050ea8c1cb","resolution":{"observed_at":"2026-08-14T14:35:10.746538Z","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-14T14:35:10.670043Z","title":null,"venue":null,"work_id":"b149c1a4-2725-4658-960e-1f14963e3624","year":2010},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.123501Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:b5e7eefd1a9d3215569bb0703c4ca870276d0f58f0bf74e8c2f328c2fe0c839e","observation_id":"d89c6db9-3c71-43fa-bd2a-e77041c5f85f","resolution":{"observed_at":"2026-08-14T14:35:10.675483Z","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-14T14:35:10.783734Z","title":null,"venue":null,"work_id":"f85db360-eb73-4303-bf5c-c3c5757a688c","year":2012},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.087748Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:4b3b10a537bd531282c6cd0977bcb952e8351bdae60fea6af7eefcc8c0d8d860","observation_id":"bb47da25-4d93-4d4a-bca4-289fb295e9da","resolution":{"observed_at":"2026-08-14T14:35:10.792449Z","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-14T14:35:10.554202Z","title":"http://siek.blogspot.de/2013/05/type-safety-in-thre e-easy-lemmas.html","venue":null,"work_id":"33057715-405c-47ba-a565-2fcf9f9e9942","year":2013},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.165174Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:2c4ba24b7a241ea5a9842e5f26353c1803070198fd4c0018105cf0eb077c369a","observation_id":"53600689-a946-42b8-8696-1d4eec79ec7b","resolution":{"observed_at":"2026-08-14T14:35:10.560863Z","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-14T14:35:10.599969Z","title":"In Proceedings Eighth International Workshop on Programming La nguage Ap- proaches to Concurrency- and Communication-cEntric Softw are, PLACES 2015, Lon- don, UK, 18th April","venue":null,"work_id":"18850f7b-db84-4172-a04e-ead69d4c223e","year":2015},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.141987Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:11c07bdb46fbf964e687d02c2f6dbaeb1c23da7be9b1207188cf3a1fe9b8a49c","observation_id":"a9702861-6d46-4935-8c17-b666dbf7bda5","resolution":{"observed_at":"2026-08-14T14:35:10.609778Z","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-14T14:35:10.648346Z","title":"Mathematical Structures in Computer Science 26, 3 (2016), 465–509","venue":null,"work_id":"fac31886-255a-470e-8424-7a5fe56c9100","year":2016},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.129566Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:8432be7cb43568290d88acc6443d41ea12ba255c9d1d564b801236279f5b0e5b","observation_id":"8b3209b3-f22f-4840-89d2-50e88f3d1c01","resolution":{"observed_at":"2026-08-14T14:35:10.655218Z","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":"10.1007/978-3-030-02768-1_16","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:35:10.266051Z","title":null,"venue":null,"work_id":"403c2d9b-9308-4d7b-b7b1-2511cf061f70","year":2018},"citing_paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T14:35:10.105513Z"},"links":{"citing_paper":"/paper/1908.02940"},"observation_digest":"sha256:e45398197f58293d5d9279c8a84288403b6034b67162dab461af49b2d118f7d6","observation_id":"c001a886-51b7-4217-9a87-c5f837746909","resolution":{"observed_at":"2026-08-14T14:35:10.271487Z","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"}}],"paper":{"arxiv_id":"1908.02940","last_updated":"2019-08-08T05:52:36Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T03:37:38.152735Z","submitted_at":"2019-08-08T05:52:36Z","title":"Intrinsically-Typed Mechanized Semantics for Session Types"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":3,"verified_fuzzy":10},"total_outbound_references":20},"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 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:1908.02940."}