{"as_of":"2026-08-16T15:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a332b1018d34a0b08245357c6b44dc5c759921c1185959ebacbd4b8651c7e2c7","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:17:52.432599Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"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.07776/citation-record","integrity":"/paper/1908.07776/integrity","json":"/paper/1908.07776/citation-record.json","paper":"/paper/1908.07776"},"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-14T12:17:52.897934Z","title":null,"venue":null,"work_id":"2b212fe4-c855-4269-8660-cc26caa04385","year":2019},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.147317Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:3909855cf5e9cf7380aa99acba026929864deb176a43cf3fd979e634f29f42ed","observation_id":"b3fa5a27-c354-4459-8f46-0687ec08c595","resolution":{"observed_at":"2026-08-14T12:17:52.903588Z","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-14T12:17:52.867936Z","title":null,"venue":null,"work_id":"4d26d5cc-82bb-4d68-b2d1-0c6057cf0673","year":2019},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.155621Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:3d387f2a1138aa845115b427ef1348b072aab184fc936c8ff73b3e311d65feeb","observation_id":"162445bf-736e-4940-ba81-a16beec9098d","resolution":{"observed_at":"2026-08-14T12:17:52.876266Z","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-14T12:17:52.844765Z","title":null,"venue":null,"work_id":"2cd2309f-ac6a-4ed4-8771-8723ec81a5f8","year":2019},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.165684Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:ec15959e09fad584bf0053fb6b38d92d8a641cc888394a0f7b50212d80e11b52","observation_id":"276b771d-f8cb-4597-bee6-16618828bf62","resolution":{"observed_at":"2026-08-14T12:17:52.850923Z","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-14T12:17:52.821517Z","title":null,"venue":null,"work_id":"cd5a620a-3ab3-4563-a942-af6d8d2e6918","year":2019},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.173375Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:2c60539db4d8a233e1f7265b17dd4d7780cab8e95b8fb01a667d7aeceb1c3898","observation_id":"027f1e9e-f21b-4122-8503-844f2bf89eef","resolution":{"observed_at":"2026-08-14T12:17:52.829668Z","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-14T12:17:52.793163Z","title":"Theo- retical Computer Science 70(1), 35–64 (1990)","venue":null,"work_id":"4e5ae26f-b316-4471-bd48-ae16ce678932","year":1990},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.181586Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:a9bd9a8028ffc46cc7aacf44ac5be56c37e316c026c67e61e10bb579c1660c6f","observation_id":"a4e9e0b2-1d11-4f46-b1e2-4d7c0be4a692","resolution":{"observed_at":"2026-08-14T12:17:52.807143Z","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-14T12:17:52.767716Z","title":"In: Logic in Computer Science, Proceedings","venue":null,"work_id":"59371d64-74df-490c-a148-91db5d47da3a","year":1991},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.191318Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:c9236ecbaf45b8e7b1f7551a8fd9aa6c95038aaf42afa79746e17936da9b48ba","observation_id":"63c718e9-f852-4d1e-a0ac-a2c4afd8bb42","resolution":{"observed_at":"2026-08-14T12:17:52.778140Z","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-14T12:17:52.739662Z","title":"In: Func- tional Programming Languages and Computer Architecture, Proceedings","venue":null,"work_id":"a8e5645b-b462-4683-94eb-7c1e805d25e4","year":null},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.366200Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:d9f1eb441df10cbca51acf91540f04b07525198f7ca82130ab094696182a4b33","observation_id":"9b5772ee-3073-4841-9b0a-e1b5551bb5ce","resolution":{"observed_at":"2026-08-14T12:17:52.749451Z","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-14T12:17:52.710249Z","title":null,"venue":null,"work_id":"9cb464ec-0ae7-44c7-85e4-e91e55ca4a66","year":2015},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.376235Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:528ae29eef1d2e065b53049f9586c422f1b0ab86a914153dc1c5ddf912f28c8c","observation_id":"640acf62-0a9e-4374-b79a-6c6ba6915c03","resolution":{"observed_at":"2026-08-14T12:17:52.716523Z","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-14T12:17:52.678198Z","title":"In: Principles of Programming Languages, Proceedings","venue":null,"work_id":"498376f8-7a1b-408f-8006-f49ba898d3ef","year":2004},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.384378Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:1d9411900e74d388b4133b463e11790b274974d9d9d62b666a71cfb6b67c4e38","observation_id":"17061751-20c7-4081-aadc-baf108364048","resolution":{"observed_at":"2026-08-14T12:17:52.684001Z","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-14T12:17:52.631202Z","title":"In: Principles and Practice of Declarative Programming, Proceedings","venue":null,"work_id":"4d03f83e-6b28-4b46-ba20-80f0c9c2b4dd","year":2014},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.397074Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:904ece17e820aa967efff8a6c69ee4d4d745e8c74df84ff1ce0481d562d02813","observation_id":"18f4909f-cc0a-4c14-9aa7-f0d6adb75bf7","resolution":{"observed_at":"2026-08-14T12:17:52.641115Z","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-14T12:17:52.582080Z","title":"In: Programming Language Design and Implementation, Proceedings","venue":null,"work_id":"414d4116-2d42-4b8d-b0ff-ccc549e3aed1","year":1988},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.405706Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:07a8d5e08694a94d4bd71bbe7b63741beacb7bb58db2838bd274881cd35a696d","observation_id":"e216403b-60b7-4065-8a80-7c5e83704a1b","resolution":{"observed_at":"2026-08-14T12:17:52.592127Z","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-14T12:17:52.554160Z","title":"In: Information Processing, Proceedings","venue":null,"work_id":"699f731a-17da-4842-b261-65f66aa18b70","year":1983},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.414883Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:0e31f6e1cc1e7c6153f775db4f9972afd1e591923349e0a3a51c075f6b720138","observation_id":"c7855946-066c-447a-b1a5-7c78aa454294","resolution":{"observed_at":"2026-08-14T12:17:52.566745Z","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-14T12:17:52.528389Z","title":"In: Typed Lambda Calculi and Applications, Proceedings","venue":null,"work_id":"7a50d697-9f64-4cbb-855e-96c0df77372a","year":2009},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.423250Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:9c625c975f5f7077f03e600f6284a4fe8151a60cdc93443db405111a9e4c7347","observation_id":"474719eb-41c5-43f7-a9b3-deacd8632534","resolution":{"observed_at":"2026-08-14T12:17:52.536059Z","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-14T12:17:52.488922Z","title":"map\" (mono t pre post ) mono (Maybe t) pre post = Map","venue":null,"work_id":"0a22c366-8f2a-46f9-b41c-c6e41e7f2e35","year":1989},"citing_paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:17:52.432599Z"},"links":{"citing_paper":"/paper/1908.07776"},"observation_digest":"sha256:d0336d125bf8097c068aa32722108a4788d5f912639991176d73a233b1a17d72","observation_id":"30e5e092-434a-479c-ad22-1cd6da7e66f6","resolution":{"observed_at":"2026-08-14T12:17:52.504592Z","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"}}],"paper":{"arxiv_id":"1908.07776","last_updated":"2019-08-21T10:16:16Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T02:22:40.369548Z","submitted_at":"2019-08-21T10:16:16Z","title":"Free Theorems Simply, via Dinaturality"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":14},"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 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:1908.07776."}