{"as_of":"2026-08-17T07:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e19a58d15628bc8919aef4fec37af0db8b7fcdf2bcff549c62260333082b8c32","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T14:37:31.351146Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.03010/citation-record","integrity":"/paper/1908.03010/integrity","json":"/paper/1908.03010/citation-record.json","paper":"/paper/1908.03010"},"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:37:31.775798Z","title":"In: Proc","venue":null,"work_id":"2cfa8f72-e199-434b-ac73-181d0770967a","year":2011},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.098859Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:2526bbd2324afa2075f1aa103f30769adbf1f8bee8dce906a31be18b6d7050e7","observation_id":"8648e711-519e-4eac-88f6-b1f3f1884ca0","resolution":{"observed_at":"2026-08-14T14:37:31.779659Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.763350Z","title":"In: Proc","venue":null,"work_id":"079e1e37-b5c8-4964-92cc-9ef52f601121","year":2003},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.103996Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:d3180657e1fa121bf5930286e003229a292292505e25757050203a616bb30cd3","observation_id":"163d1aae-bc78-4aed-a2ba-1083ee7dba81","resolution":{"observed_at":"2026-08-14T14:37:31.767468Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.750961Z","title":"PACMPL 1(ICFP), 41:1–41:28 (2017) Manifest Contracts with Intersection Types 19","venue":null,"work_id":"b76e82e3-61e2-4fd2-96db-88f32fa8d8e1","year":2017},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.107922Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:8821aae5d547b6d7671941dd9e01cdb33223d1f71ccb0fc18be2b89d35220f9f","observation_id":"8fbb9e0e-601a-4e62-93a3-39e19f609dd8","resolution":{"observed_at":"2026-08-14T14:37:31.755706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.739344Z","title":null,"venue":null,"work_id":"34f03995-8c35-4ba2-8115-1b3f99ca8ef5","year":2019},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.111931Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:8a07eab27c44e7834f6c04d74353d48cfe44f36b500a2fb4466c194fd5d9913d","observation_id":"2d827ba1-40c2-47e9-854d-b5c77920baec","resolution":{"observed_at":"2026-08-14T14:37:31.743612Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.728524Z","title":null,"venue":null,"work_id":"cff0e362-3d32-4ef8-be46-67d61fc0370d","year":2012},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.116199Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:86bd611c8fee04270d3837edf5ae9363055dee8563204264808e586d70e0692c","observation_id":"e89e0d60-3f27-4bc9-a494-b78a63d53497","resolution":{"observed_at":"2026-08-14T14:37:31.732441Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.716829Z","title":null,"venue":null,"work_id":"5fcddbcc-b71c-4145-8ff8-afcca9a27714","year":1981},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.120463Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:1fff163d0d516048700cf525c6501c5851b44fb131a4963cb49688d9987e0d85","observation_id":"8abf0217-d4c2-4d74-9e47-bf06d28e1877","resolution":{"observed_at":"2026-08-14T14:37:31.720580Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.704762Z","title":"In: Proc","venue":null,"work_id":"dc3505ce-0909-49c8-854a-3c2a1c0c1598","year":2007},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.124976Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:f11c1d9d62a7938068cc07a5db89d4f8bcb6c3cebf70e7b56f038cbc8a61dc01","observation_id":"e1ac650b-6305-4965-b3fa-c0916b144f7c","resolution":{"observed_at":"2026-08-14T14:37:31.708863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.693502Z","title":"In: Proc","venue":null,"work_id":"3c00d881-7e7d-49f9-9a41-485eebd59b84","year":2002},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.128724Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:5b208dbd8aac223a6a68fa3a82087a590f6973aa05358955a8bd856cc42e6d35","observation_id":"551ebe73-3210-41ca-aea1-71a7b14e4aeb","resolution":{"observed_at":"2026-08-14T14:37:31.697423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.680624Z","title":null,"venue":null,"work_id":"998c2da8-2d50-4d4e-9cde-5aa0e228066f","year":2010},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.132565Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:337d95e0ab99d41f81f937a7fa822136fff5a1db02eeb6702edb32158c6b66b2","observation_id":"9174335a-d857-4c71-9cec-88db76a11e12","resolution":{"observed_at":"2026-08-14T14:37:31.685282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.668230Z","title":"In: Proc","venue":null,"work_id":"133cf125-c4b6-4fd8-a57d-992a15dd3ac8","year":2006},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.136245Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:ef72a9065217caaf613a1ea8709166b14d0a3938e8eee83108807a55f1b970c1","observation_id":"671cf7e4-185e-4618-aa89-3f11eb1d3d5b","resolution":{"observed_at":"2026-08-14T14:37:31.672159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.656126Z","title":"In: Proc","venue":null,"work_id":"8694bcb6-a1b3-4492-ad9d-609b408881fd","year":2015},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.140328Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:d6d8f11e4b2e5b35bb414df810f713cb5b9c92c8f5012d3c666e556a3b8ae37b","observation_id":"4c127126-3a8a-40e8-83f5-1f0d9bd7bfc9","resolution":{"observed_at":"2026-08-14T14:37:31.660012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.644308Z","title":"In: Proc","venue":null,"work_id":"8f0dbe52-5f6c-41b3-a55d-c4449fd8f446","year":2010},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.144177Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:f68b8fa59c0e524a34dedf183cfea0e4dbba4364db82f2ebfcc1277e4e5b97e8","observation_id":"4694b0de-ab1d-4ec5-a286-192e586bd2af","resolution":{"observed_at":"2026-08-14T14:37:31.648921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.631198Z","title":"In: Scheme and Functional Programming Workshop","venue":null,"work_id":"49c1cef5-46dd-401a-8e1f-b920f03c6e3e","year":2006},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.148745Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:9250756dcbd26c54699f510ac7f57504f43086fd27608d69c8599ef972024e56","observation_id":"ef339172-102a-4ca8-9ba9-4ecca1e1f347","resolution":{"observed_at":"2026-08-14T14:37:31.635621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.619404Z","title":"In: Proc","venue":null,"work_id":"56a218c7-1868-4d44-8790-e4dc0f791995","year":2015},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.152796Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:38d17d774e715390e7e56a133832c8a7033db33a72296d5bddc0e2a99d79b04a","observation_id":"7a25172e-a9ca-468a-9b6c-cb04ddb3f889","resolution":{"observed_at":"2026-08-14T14:37:31.623437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.607508Z","title":"ACM Trans","venue":null,"work_id":"309f86f2-9d50-4f6a-94da-4811a8a5f191","year":2010},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.156724Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:ef59547954e2214c1d4e96efe8fd43ccc16a929f729984d649748ec0b3622f04","observation_id":"d3db09b7-20f5-4b0b-ab3c-33cf7afb4bde","resolution":{"observed_at":"2026-08-14T14:37:31.611502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.595458Z","title":"In: Proc","venue":null,"work_id":"c9e33c66-9e46-44f3-9641-43af2f8f2940","year":2011},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.161043Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:45da76fb7cc77ef4fd8d2c376d168f89777986fbf50837b91b4d50a630acd2f7","observation_id":"352c4051-d55f-4e99-8120-9e2494e53a2c","resolution":{"observed_at":"2026-08-14T14:37:31.599618Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.583513Z","title":"In: Proc","venue":null,"work_id":"24ad7e26-c33f-4cfe-90a1-ecd92dd3615f","year":2018},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.165047Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:78f0037d387bdb5e466af652139702f6356de2c9e5516bdd1b3b321d41ade44d","observation_id":"224d8db2-290d-40b9-a6f6-c8b58e0b6585","resolution":{"observed_at":"2026-08-14T14:37:31.587449Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.571600Z","title":"Prentice-Hall (1997)","venue":null,"work_id":"a6a79168-28ac-4481-8db3-dbdeca2c9d6c","year":1997},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.168964Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:6d0a9c92dda369eace192805214a698bc47a25484aefd3defb3acb28f81e6211","observation_id":"776ba4d5-78a8-48cf-8a43-eb31fa0b8c1e","resolution":{"observed_at":"2026-08-14T14:37:31.575544Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.559847Z","title":"In: Proc","venue":null,"work_id":"8884d9fc-37d3-4fee-a929-5d9522036264","year":2018},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.172918Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:e2566e0d95773637517c214b452558b364f3684f79b86be38cf5e1ece3ad7ae5","observation_id":"c7b4140d-13cd-4b27-aeb3-30e11f62334e","resolution":{"observed_at":"2026-08-14T14:37:31.564130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.547849Z","title":null,"venue":null,"work_id":"4490b0bc-b8dd-4a09-958d-eeb784e6500c","year":1977},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.176559Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:7d8deb9535a9de7ff186dea516671efcd96831f9d197693c56ba08a0f9eba99b","observation_id":"a5daf3bd-30ff-43a2-b22b-723d9d59d336","resolution":{"observed_at":"2026-08-14T14:37:31.552264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.535764Z","title":null,"venue":null,"work_id":"ceefc85d-cbe2-4167-9b4e-a8f4692a2d7e","year":1980},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.180675Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:78addb9faac25291aef08f178060ede2a1230a1027c41182a765d7ffdfb40d6e","observation_id":"d9ff2a0f-736b-460a-ad09-a9b477e6bad3","resolution":{"observed_at":"2026-08-14T14:37:31.540064Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.523974Z","title":null,"venue":null,"work_id":"c209ca2c-5937-4036-9914-11136130de70","year":1988},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.306419Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:8547aacbff4603c31c25dd5477ffad328391365352d776a492fb0a6008e1a761","observation_id":"449f5282-7572-4466-a0c3-b5ac8e8b1b83","resolution":{"observed_at":"2026-08-14T14:37:31.528076Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.512347Z","title":"In: Proc","venue":null,"work_id":"d68d97b9-ae89-434b-8e27-e8d3e72d2276","year":2008},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.310691Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:5af530a92d79c7fd73b92e054d472e4f23d4b0a6413ecd02129b34442718e15c","observation_id":"066e8724-5395-454c-8f58-5f4f574f49ea","resolution":{"observed_at":"2026-08-14T14:37:31.516244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.500585Z","title":"In: Proc","venue":null,"work_id":"14222187-c618-4c28-ba86-32a88f8bc20e","year":2017},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.314622Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:5c128db2197450ac272c8c2f6c0324f75122994d480fa30a09eeafa8739ee729","observation_id":"b14de8d9-6b22-45dc-aec8-0f25dc7d43c1","resolution":{"observed_at":"2026-08-14T14:37:31.504492Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.488328Z","title":"ACM Trans","venue":null,"work_id":"2f114a0d-8f0d-4918-abd7-6f0b66796327","year":2017},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.318543Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:d1ef0efaf966835bb25de3745e21b063749fe4894a8056e2158e6f8c894b0e39","observation_id":"661c0992-ee89-4a91-b193-08ba63938496","resolution":{"observed_at":"2026-08-14T14:37:31.492343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.474770Z","title":"In: Proc","venue":null,"work_id":"a0e4c817-93d7-4288-aae8-8b7f4e7a40e9","year":2015},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.322408Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:a62c4b2ec0a8a058776ae649f1e254b99c9e37ee1516d192dd279478e8c3b7de","observation_id":"2b06a792-0d2d-41e8-a805-a957fff2eec3","resolution":{"observed_at":"2026-08-14T14:37:31.479134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.461788Z","title":"In: Proc","venue":null,"work_id":"a2b79dc4-3139-47f3-ac29-cc304043c21b","year":2010},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.326760Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:2b33fe93ffffbb9f42d3740afc8778bae917a97906457d823207e298a1cb5927","observation_id":"f94b47d5-0579-42ec-a223-f935db1708db","resolution":{"observed_at":"2026-08-14T14:37:31.465955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.448202Z","title":"In: Proc","venue":null,"work_id":"da72fc6b-274d-4cd4-8daf-a094831df7a1","year":2009},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.330633Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:d8ceeee7a99eb94c28d72d35fca141a5ec6e2bb37259ee3ae956cf8e14c4315b","observation_id":"38eb44a1-b4dd-47e8-ab27-de8a909a648c","resolution":{"observed_at":"2026-08-14T14:37:31.452915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.433737Z","title":null,"venue":null,"work_id":"2cb97578-5e6d-4a7e-8d7d-f0fad8cedbca","year":2001},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.335219Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:49a315e73befda19d9718fc55c8f668bf7239e1d4ce38f49eadc707c465616fc","observation_id":"c473bcf1-ef34-44dc-817b-1f6c28031bcd","resolution":{"observed_at":"2026-08-14T14:37:31.437838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.421265Z","title":"In: Proc","venue":null,"work_id":"0b2eb95c-e841-4732-9e12-e44986d77212","year":2014},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.339288Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:02b23ced5c4049cad14aa3acda2604b2d21e93068e6cd075104f852de076dfdc","observation_id":"92432c09-fa76-4013-bd02-6dcb72e3a049","resolution":{"observed_at":"2026-08-14T14:37:31.425212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.408131Z","title":"In: Proc","venue":null,"work_id":"8c04275e-5f88-4e1c-91cc-f6c092d6fffc","year":2009},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.343286Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:1a3f291f9797630d69de5c7f5102a8637ea62983e148f72285efd99c60198336","observation_id":"41edf1a9-d6d9-44c3-af5c-16ece6f293ea","resolution":{"observed_at":"2026-08-14T14:37:31.412316Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.395425Z","title":null,"venue":null,"work_id":"54075259-8ff3-4160-99ce-110379ba5ef6","year":2018},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.347197Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:807b4604565f2bf1cd3640fc9737410b62753db7b5c590651bf79e9b6bcdec22","observation_id":"fc42f052-0f69-43d1-ae49-b828ba3f3cb3","resolution":{"observed_at":"2026-08-14T14:37:31.399682Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T14:37:31.380729Z","title":"In: Proc","venue":null,"work_id":"8ec3dbf3-0bfe-49d7-a723-770069c83626","year":2013},"citing_paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T14:37:31.351146Z"},"links":{"citing_paper":"/paper/1908.03010"},"observation_digest":"sha256:9c79802183080f396ee1343d0f553f573889de0356a0b84ef4ffce2f67717fac","observation_id":"fd35c7d8-4594-466b-bfa1-2018c8d69da8","resolution":{"observed_at":"2026-08-14T14:37:31.386505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.03010","last_updated":"2019-09-05T09:25:43Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-14T14:24:43.666963Z","submitted_at":"2019-08-08T10:48:33Z","title":"Manifest Contracts with Intersection Types"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":9,"verified_exact":0,"verified_fuzzy":24},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1908.03010."}