{"as_of":"2026-08-13T05:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c937848f736ddc5c4a07fd690e7de5147516c1a8b0520f652df985e1cbed0169","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T01:27:49.161030Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2606.27138/citation-record","integrity":"/paper/2606.27138/integrity","json":"/paper/2606.27138/citation-record.json","paper":"/paper/2606.27138"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9837.300986","doi":"10.1145/3009837.3009866","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Pierce, and Li-yao Xia","venue":null,"work_id":"0c3f724b-e351-4749-9ec1-351b6c063c0b","year":2017},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:c2ad033ede79718cbcfa71aa6ee8c9d4ad639e07c77afe259b1f481ca5c86b4f","observation_id":"d8991bf0-ed27-4575-aa06-911acd8819df","resolution":{"observed_at":"2026-06-26T01:28:50.421910Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"InProceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA ’98), Vancouver, British Columbia, Canada, October 18-22,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:f73ace37a0f67c65d470e6d828894644f671a61613a86e1aa750cce04a646a4a","observation_id":"7049a23e-a61c-430b-88f4-e5275e7a956d","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","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":"6936.286957","doi":"10.1145/286936.286957","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/286936.286957 Karl Crary, Stephanie Weirich, and J","venue":null,"work_id":"7778489c-ce1d-4a41-b698-9783a49dc8b3","year":null},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:25bb99f3656eab383ad307393bc2c1a42e2c7f582cb1ee80fc8c908ad4838a7e","observation_id":"e3e02a3d-e90b-478b-b1f5-bc09addc3e1e","resolution":{"observed_at":"2026-06-26T01:28:50.410133Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9423.289459","doi":"10.1145/289423.289459","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InProceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP ’98), Baltimore, Maryland, USA, September 27-29, 1998.ACM, 301–312","venue":null,"work_id":"c5efc993-995a-4d89-87f3-3bdeb396855b","year":1998},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:7518d39d661d89769cabdfc605adbc02d706a1a12a384ed1fc2b46122bc591ed","observation_id":"d498be38-226f-43b4-8308-2e1950fbd34d","resolution":{"observed_at":"2026-06-26T01:28:50.395464Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3563331","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Program","venue":"Proceedings of the ACM on Programming Languages","work_id":"9b349fd9-6d87-44cc-b5f8-64b4b935fb78","year":2022},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:cff6523196a8e2c4ef083294a11f6b1358aeb1f05b5c06bd4ae06197338d4943","observation_id":"0c1c42c0-3bca-4e7e-b381-3bd6b6ac5697","resolution":{"observed_at":"2026-06-26T01:28:50.389446Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3428217","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ACM Program","venue":"Proceedings of the ACM on Programming Languages","work_id":"dc6518b7-ff43-426a-9a79-62e30868fb21","year":2020},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:d294e1e2b07eead5d8b13c52feb67ca4cc73b5801da590688944105a5cb1d772","observation_id":"8e0efa65-2c15-4ff6-b42d-ddb56a4b8d61","resolution":{"observed_at":"2026-06-26T01:28:50.426259Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"InProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:cc12f68c5ed4088854571d835edd8e97043c61d48dd45cd7c482544bec97958c","observation_id":"a95351db-25d9-4ee5-969c-c7aecd6b44a0","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","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/3009837","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: Castagna, G., Gordon, A.D","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","work_id":"d01dcc9d-208a-48c0-be17-675f2628e4cf","year":2017},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:51c4fc2816831b5ca333f090b1dce2ae21959b6064c767be6d69306f943e5806","observation_id":"86dd10d2-ed9c-4eaf-9370-024f698b500a","resolution":{"observed_at":"2026-06-26T01:28:50.421241Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"9448.199475","doi":"10.1145/199448.199475","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/199448.199475 Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall","venue":null,"work_id":"e066c01f-5ff9-4923-a7d9-a68a7a39cd21","year":null},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:c8a79546d4c1aff0e85c11a52c9e88c1cc2dffb27e92179f79d0b3da6024cb44","observation_id":"a2017d0c-8662-4ece-a2fa-6d5788ee2eb2","resolution":{"observed_at":"2026-06-26T01:28:50.418905Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.17741038","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Zenodo (CERN European Organization for Nuclear Research)","work_id":"07e533c2-929d-40d9-ab4e-a60723fefd94","year":null},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:24cc16b264a0795a02d2f7d3695717a3d0735bd3ffab465a417dd23ef42a5577","observation_id":"5cc0cdad-a96a-43e3-b6b9-54deb4de0615","resolution":{"observed_at":"2026-06-26T01:28:50.394894Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3502.503505","doi":"10.1145/503502.503505","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Pierce, and Philip Wadler","venue":"ACM Transactions on Programming Languages and Systems","work_id":"714571f1-0620-4e3d-bbab-ddd124ed3626","year":2001},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:1189c10a3bc0d7d0d69e5fff3a18f2cc92f6a3b86aa11e43959d83331e8fd36d","observation_id":"e641d72b-f2b8-4abc-ab6c-dde9b332f96a","resolution":{"observed_at":"2026-06-26T01:28:50.412878Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3158154","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Rustbelt: securing the foundations of the rust programming language.Proc","venue":"Proceedings of the ACM on Programming Languages","work_id":"60efb20a-d061-499a-867d-b49195acc16d","year":2017},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:4c7ce736af3a5fe857a6de97fae90dfcfb71f5c31e088a8b2f99d0ea4df788b9","observation_id":"e8c8d2e0-aeba-4401-b1e8-1da5bb0ed320","resolution":{"observed_at":"2026-06-26T01:28:50.406418Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22,","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:1892e094a7b38568a7285b7ab6ec7a4d38224f15a9244408bbf42134fd1af3c5","observation_id":"5118e529-02ad-4baf-9625-0d715cfe7280","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","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":"8795.378797","doi":"10.1145/378795.378797","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/378795.378797 Xavier Leroy","venue":null,"work_id":"cfcd2904-4661-4648-968b-1020c715518c","year":null},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:d4d3f36e4b0c7aa25ed2b7488abb1f515a1f6c289f2179b8ea8b3043510d9f28","observation_id":"6967e2f2-a892-4a38-a1f6-53b863d4b739","resolution":{"observed_at":"2026-06-26T01:28:50.415793Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3165.143205","doi":"10.1145/143165.143205","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/143165.143205 Mario Macías","venue":null,"work_id":"0c8689c7-177b-4290-93d8-fc22fb1f9faf","year":1992},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:7e621c2b45431f8cb26e2795699b648716b241f059480e4e62b0cea54a6dac93","observation_id":"edb4e268-c52e-40cd-90d2-16db0e22630e","resolution":{"observed_at":"2026-06-26T01:28:50.413149Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7924.273799","doi":"10.1145/2737924.2737991","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InProceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, David Grove and Stephen M","venue":null,"work_id":"4b3c8460-a627-47f8-a29b-16fa372a2245","year":2015},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:2370c939eac97910cb59e4c69c0d901140fb28c788785026ffa3cbe8683d3d4c","observation_id":"adaf81eb-a623-488c-929a-49458d671a43","resolution":{"observed_at":"2026-06-26T01:28:50.419220Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0956796823000047","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Functional Programming","work_id":"99487389-2f7d-4117-bfbf-e3df844db19f","year":2023},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:bf865b3ef18ad5b6534221d7095ee267045ccb1f5ad32081c882e35d2024966e","observation_id":"47d95a46-5b33-439f-a4ef-56b5d850ac8d","resolution":{"observed_at":"2026-06-26T01:28:50.426627Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"https://blog.rust-lang.org/2015/05/11/traits.html Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall Mirko Viroli and Antonio Natali","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:00f62f9c0d4efcbefaa9d9aca19edd47a6010347997fad0ae86be5f32bf7bfb4","observation_id":"82864a18-b66c-47d4-8783-0970a4f654f1","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","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":"3171.353182","doi":"10.1145/353171.353182","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":null,"work_id":"4c52e252-903f-4aaf-85bd-672ad7528613","year":2000},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:0303445627c19c9b02a60c5fde652f547ccf2f5aca089534354405ee95523efa","observation_id":"735f2714-623b-4d6f-8a5c-679c5cf59cc4","resolution":{"observed_at":"2026-06-26T01:28:50.424658Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:7084b64fc35666b489ffd3724c4b4867fea72630d311b91871787271fbc1bf82","observation_id":"ee62c60f-8c92-4f07-8d3a-73a8296cc604","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","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":"4001.964005","doi":"10.1145/964001.964005","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"doi:10.1145/964001.964005 7 Examples 7.1 Desugared version of Fig","venue":null,"work_id":"bca115fa-90e2-481b-8858-4111e3c0bc2c","year":null},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:ee76ca9c1635ad95c6210968855c9357166d66a59631b74d920a90555acff93b","observation_id":"af9c8dd8-d910-4e95-be7b-834b9e82461a","resolution":{"observed_at":"2026-06-26T01:28:50.424101Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06-26T01:27:49.161030Z","title":"methods(𝑆)=methods(𝑇 ′)andtypes(𝑆)=types(𝑇 ′)therefore 𝑇< : 𝑆and so𝑇≺:𝑆","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-26T01:27:49.161030Z"},"links":{"citing_paper":"/paper/2606.27138"},"observation_digest":"sha256:5317c27eb1aee2aa5c81201c5e1f57e7e731a2c6f4aab72d79abb9b7ebc1c8fe","observation_id":"fd064813-2ee2-4240-b884-f731b32de848","resolution":{"observed_at":"2026-06-26T01:27:49.161030Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.27138","last_updated":"2026-06-25T15:13:24Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-01T17:28:25.340213Z","submitted_at":"2026-06-25T15:13:24Z","title":"Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":5,"verified_exact":14,"verified_fuzzy":0},"total_outbound_references":22},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2606.27138."}