{"as_of":"2026-08-16T14:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b1bd9436b70614969cdba1b3de5ed781ab8b9ff73cc867891add9d5b22353292","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T16:00:03.548343Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"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.00441/citation-record","integrity":"/paper/1908.00441/integrity","json":"/paper/1908.00441/citation-record.json","paper":"/paper/1908.00441"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.157874Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.157874Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:1b233b9be83718d38abf27f1a799016794334988450f7124e708a59a822e9c25","observation_id":"e9ec60db-f5af-469b-b6bc-b46aa3775244","resolution":{"observed_at":"2026-08-14T16:00:03.157874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.745274Z","title":"IFIP State-of-the-Art Reports: Formal Description of Programming Concepts (1991), 431–507","venue":null,"work_id":"77863bf9-b7aa-4edf-91ce-2c40694ba7a6","year":1991},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.238003Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:677058eb15c410371a196c611759066e006e52452ccc8501d406d96f0ddda0c1","observation_id":"4825aef4-f2ac-432a-9a8b-3e30d822581b","resolution":{"observed_at":"2026-08-14T16:00:05.750566Z","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-14T16:00:05.760403Z","title":"ACM Trans","venue":null,"work_id":"a6dec2a8-bb7b-4052-93b5-e8fafb589880","year":2011},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.167037Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:f81ae62c3a8b2b51d7150fa62ca10f12cf3dc922899290f757943520ee4b2907","observation_id":"44ad278c-38e8-4294-9714-b25a37c309f4","resolution":{"observed_at":"2026-08-14T16:00:05.767241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.299398Z","title":"InProceedings of the ACM SIGPLAN’91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991, David S","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.299398Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:7c91b4b5f0909ba2c245d7c3b33edbfd30575c08cc49b587796e72a4c55a46a3","observation_id":"90af5eb0-be5d-4709-af0e-2f2eefa0ac0b","resolution":{"observed_at":"2026-08-14T16:00:03.299398Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.136524Z","title":"Logical Methods in Computer Science 14, 4 (2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.136524Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:99880f314c6e547ffc1f945835d4a4d181eed77a729e76c990664b68297f5d2f","observation_id":"756c012c-1880-4254-a06b-36b26c9276ea","resolution":{"observed_at":"2026-08-14T16:00:03.136524Z","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":"9583.99603","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.038188Z","title":"In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, David S","venue":null,"work_id":"1c0261a7-a59c-4904-87df-cf1d6f0a917a","year":1991},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.346649Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:299f6a1209c78580c748a06fe77cd639fa0620222810418d5348f951dba43064","observation_id":"9acf5185-1aeb-4052-862a-c6c81ec8dff8","resolution":{"observed_at":"2026-08-14T16:00:05.053148Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.687717Z","title":"In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008","venue":null,"work_id":"b6c7bece-0e15-4642-a17e-59c220b963ec","year":2008},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.356217Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:ed27cd9166e1b611a0ab99050814e3c308e1d9c71bd54b1bed6f7ae81451b47c","observation_id":"187958fe-cb62-4231-b635-8d62c64f9fb1","resolution":{"observed_at":"2026-08-14T16:00:05.693067Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.371698Z","title":"https://doi.org/10.1145/3314221.3314630 Oleg Kiselyov, Ralf Lämmel, and Keean Schupke","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.371698Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:0417bc3c06399ec8da0a6909e0699a4f9989ac2dc1803710070c7fa8b5a355fd","observation_id":"ee9af283-3101-4ced-8595-5d8dd297c27d","resolution":{"observed_at":"2026-08-14T16:00:03.371698Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.654233Z","title":"PACMPL 3, POPL (2019), 12:1–12:28","venue":null,"work_id":"793ee7f8-f7ad-4ba7-9c34-0e322cbcd07b","year":2019},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.397072Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:6221a3ca839300533a6ec36fa2d0eff32d1028951c9ca0bf680f260316a5db9c","observation_id":"4d7e53eb-9c06-4179-9ddd-9f4808de7677","resolution":{"observed_at":"2026-08-14T16:00:05.661145Z","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-14T16:00:05.633627Z","title":"In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementat ion, Tucson, AZ, USA, June 7-13, 2008","venue":null,"work_id":"f0fed458-6a71-4d04-8acc-0ac3b7fb9f81","year":2008},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.423762Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:67860679d647b794533dc096c34fc9660f547ed1f574b873963c38a59ea2de5e","observation_id":"57cddb32-cc1c-4a0c-93ee-a6de529daa62","resolution":{"observed_at":"2026-08-14T16:00:05.640138Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.428891Z","title":"IEEE Trans","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.428891Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:a35a6081f219e58a7e2f25829c8fe814affd7840ee56b59bb6665f43476c26fc","observation_id":"42277a25-9fb3-4b55-891e-735070222d3a","resolution":{"observed_at":"2026-08-14T16:00:03.428891Z","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":"5694.32572","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:04.380663Z","title":"https://doi.org/10.1145/325694.325724 Christopher A","venue":null,"work_id":"4c8d1368-e1ac-4579-b772-c05f12313974","year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.447897Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:660c8218bfa5fa7917193881ab078032b0b1be5ae90dae5e51d5d77f134db2af","observation_id":"24a52d4e-9f34-4829-afb4-d62710900be6","resolution":{"observed_at":"2026-08-14T16:00:04.393155Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.457080Z","title":"ACM Trans","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.457080Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:8aff614b5b5c6e35c4fdf719871dd088251185c39b56be358ae8075f75260372","observation_id":"98e5f31c-be7f-4c3f-9ec6-1c2335b2850e","resolution":{"observed_at":"2026-08-14T16:00:03.457080Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.467184Z","title":"In Proceeding of the 16th ACM SIGPLAN international conferenc e on Functional Programming, ICFP 2011, Tokyo, Japan, Septembe r 19-21, 2011, Manuel M","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.467184Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:f261c1e14ab69facbfef928c0c66d88a821ada4d14a65c2c5098a939d834f532","observation_id":"0cf3a3f7-d5a6-468a-9380-bc500fc80e19","resolution":{"observed_at":"2026-08-14T16:00:03.467184Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.575072Z","title":null,"venue":null,"work_id":"3005a497-bb2d-46be-9f55-a30a8c86e2ff","year":2013},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.476101Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:1728b5e84caee5e74266a598d81bcc65f0d82a5a5539fa155585ee4192ab5520","observation_id":"f3407bd1-e811-40f9-9b17-bdad89bd870f","resolution":{"observed_at":"2026-08-14T16:00:05.580568Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.480754Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.480754Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:cf742bebed929823ab23014ade078f82743bd3344415d243432fa746b360a70d","observation_id":"f5e2797e-695f-43f6-8af6-a75db65dc2ca","resolution":{"observed_at":"2026-08-14T16:00:03.480754Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.504387Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.504387Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:ec8cf11e9d0c55b8971df5534a06eac2e1c7deb4ee9b2304aed9b97851da5796","observation_id":"ebd6b7d1-56ac-4e0e-9f6a-329f2834da2b","resolution":{"observed_at":"2026-08-14T16:00:03.504387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.519655Z","title":"In ACM SIG- PLAN International Conference on Functional Programming, ICFP’13, Boston, MA, USA - September 25 - 27, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.519655Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:b98a7d460a3c202e053c518f5473d5315a070fbc943662dba9ac6c900978d544","observation_id":"9455386e-d5a2-4dbf-be4c-453a402b913d","resolution":{"observed_at":"2026-08-14T16:00:03.519655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.539333Z","title":"In Pro- ceedings of the ACM SIGPLAN ’98 Conference on Programming La nguage Design and Implementation (PLDI), Mon- treal, Canada, June 17-19, 1998 , Jack W","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.539333Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:958343356eb2815ad3f2b2f5633d12b49ad7a940417abe8d0dd8949abe2da6ec","observation_id":"e3228091-df53-4851-b276-59d5e7481f76","resolution":{"observed_at":"2026-08-14T16:00:03.539333Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.554569Z","title":"P/r.sc/o.sc/o.sc/f.sc.Straightforward induction on kinding, relying on the decidabil ity of logical entailment","venue":null,"work_id":"9ec31c61-c87b-455b-89a6-1f5eee4f0f44","year":2019},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.548343Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:8fd5bdaa1d6bfd4ecca3ed9124a5441a27bebbd0701d68af2da65d7dba5d95d7","observation_id":"a4fee520-0c9b-4447-ad81-ba36f300e1ec","resolution":{"observed_at":"2026-08-14T16:00:05.562086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.325247Z","title":"Hall, Kevin Hammond, Simon L","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":192,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.325247Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:16995bf42d618c2f56c09a8f31819bfe6c7cdff5583820dda953c28cff4be117","observation_id":"0b5a69e1-888c-44d4-b613-8381da660950","resolution":{"observed_at":"2026-08-14T16:00:03.325247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.417753Z","title":"In Proceedings of the ACM Annual Conference - Volume 2 (ACM ’72)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1972,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.417753Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:8a4f9234a3ee6a4d57dcc91cd785b643e8a9e3cbfdfdc0d9f9ed42c44f9a7165","observation_id":"2574b857-e163-403d-badd-c6fa2ae2b192","resolution":{"observed_at":"2026-08-14T16:00:03.417753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.704493Z","title":"Theoretical Computer Science 45 (1986), 159 –","venue":null,"work_id":"960e5fbf-cef2-4640-9446-68bc1a1ac5e3","year":1986},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1986,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.318720Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:301788ea647003ace02ddee58e56e9ed70e8ba7500e902298acd5e2f4f00f0c7","observation_id":"92998485-bdb7-4fff-b258-bdac8c5919d3","resolution":{"observed_at":"2026-08-14T16:00:05.716054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.509854Z","title":"In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programmin g Languages, Austin, Texas, USA, January 11-13, 1989","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1989,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.509854Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:546cc6618428bf8445575294b49f3b6a2a11494662a8fb4ade54ed11f32475a9","observation_id":"db80a25b-a4dc-4959-9976-b7e068b8aff3","resolution":{"observed_at":"2026-08-14T16:00:03.509854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.115868Z","title":"ACM Trans","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1991,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.115868Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:a1b2dbe8bafee8d86f79eeb524d01d9a117470166e6eee2a6800f15d3760b52a","observation_id":"3518f898-acd5-4047-9be3-b0b42586068c","resolution":{"observed_at":"2026-08-14T16:00:03.115868Z","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":"7699.22770","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.147617Z","title":"ACM Trans","venue":null,"work_id":"e890ad87-a92f-46a4-b651-5d13aaaf3435","year":1996},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.339014Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:4c1e02e5e9e0ea48540163ba638b2a64293309bd4cae1877c0f9f76444f38f0b","observation_id":"cb9891cb-5327-40bf-a02c-6db6a6ec018f","resolution":{"observed_at":"2026-08-14T16:00:05.166191Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/bfb0055070","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.746178Z","title":"In Automata, Languages and Pro- gramming, 25th International Colloquium, ICALP’98, Aalbo rg, Denmark, July 13-17, 1998, Proceedings","venue":null,"work_id":"81f015a3-5bee-4f32-9c4e-7f15deeaf8f8","year":1998},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1998,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.305378Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:e05144115c368f3c891792e5505c92443d02e26c9436eaea3c2480320e51cec0","observation_id":"d4102496-1e41-4ff1-b603-3d65a4203d6e","resolution":{"observed_at":"2026-08-14T16:00:03.752949Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1960.33197","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:04.694988Z","title":"https://doi.org/10.1145/331960.331977 J","venue":null,"work_id":"39058740-77d6-414b-b133-b7f9bef2f6bc","year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.390484Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:4e902c6b333f03cf60d602f2507347a0c9127a81d60670ae70bd2560fdbab844","observation_id":"5c49dce8-fe2e-4f12-ada1-afbec7f3bfe7","resolution":{"observed_at":"2026-08-14T16:00:04.705688Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.591841Z","title":"In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Pr ogramming Languages, Boston, Massachusetts, USA, January 19-21,","venue":null,"work_id":"b715ff64-3665-4dc7-9dfd-ec03f9d199a8","year":2000},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.442122Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:68dd03b07e0f50329cec948eef3e42db1b6ed32ce5cbb20eeb8f22ffca9ba495","observation_id":"b3097ec6-c98b-4ff1-9fe1-d392c2cca064","resolution":{"observed_at":"2026-08-14T16:00:05.598051Z","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-14T16:00:05.799937Z","title":null,"venue":null,"work_id":"452cff7e-7b1f-448a-88c6-cf3e0169e176","year":2002},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.125482Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:4d5718fd0eb4813616ca895598045bd9403768350ae4f3a97d26743b4fe38f8a","observation_id":"5c79001c-5a01-4ca3-9a9c-b40e06721153","resolution":{"observed_at":"2026-08-14T16:00:05.806478Z","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":"10.1017/s0956796802004598","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.776233Z","title":null,"venue":null,"work_id":"6ae61431-af7e-41bc-a4c1-0e5f32a78722","year":2003},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.209788Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:76a7b93be6264dc2c25b2390e3e3ab9a2bed675a19739122ba7f6601a1880f84","observation_id":"5738dcd6-c960-4821-8c7f-458bf0dc16cd","resolution":{"observed_at":"2026-08-14T16:00:03.782238Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.383495Z","title":"In Proceed- ings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Sn owbird, UT, USA, September 22-22, 2004","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.383495Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:b0d55c7464bbd5ab1f1aecf53550b810132cb12395eb689404dbf67db2879083","observation_id":"b2f33360-f477-4e9d-bf71-bc8aad19aefd","resolution":{"observed_at":"2026-08-14T16:00:03.383495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.285653Z","title":"In Gen- erative Programming and Component Engineering, 5th Intern ational Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings , Stan Jarzabek, Douglas C","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.285653Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:d030eb83c0dc9b4da210efda26fa580a5004abb6314e520189b016b87ba9578e","observation_id":"be7d9950-1378-4196-bcb3-1eeffafb01da","resolution":{"observed_at":"2026-08-14T16:00:03.285653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.527067Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.527067Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:a983195431361d4de73c298d18cf62489304fb3f889b0e8c4ab01d21ef905450","observation_id":"b9de1e6b-8660-4945-b897-eb7b963433ac","resolution":{"observed_at":"2026-08-14T16:00:03.527067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.727858Z","title":"In Tools and Algorithms for the Construction and Analysis of Systems, 14th International C onference, TACAS 2008, (Lecture Notes in Computer Science) , C","venue":null,"work_id":"8f183437-853d-4c19-8d5a-26f7d6aa6895","year":2008},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.255896Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:4f0c5f0a24af120e9505dac52b6e8df333c79cbaad4352550ddd871effcedf1c","observation_id":"3f04fa17-4869-42b6-970a-dc525165c49a","resolution":{"observed_at":"2026-08-14T16:00:05.734750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.362277Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.362277Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:f1074ae998ae9d50f542cb7b9d801e40725bedd8d6126454665059d13aaa9e74","observation_id":"9834e104-bbbe-4aa8-85e6-3494dcfdb697","resolution":{"observed_at":"2026-08-14T16:00:03.362277Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.246214Z","title":"In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and I mplementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, Benjamin G","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.246214Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:0002ea1f6e293e54d5becec49128867d0274b7ce1182a9ef5072a5c944171c06","observation_id":"a323569c-c69f-4f37-a186-8d18cf0e0772","resolution":{"observed_at":"2026-08-14T16:00:03.246214Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.779169Z","title":"In Computer Aided Verification - 23rd International Conference, CA V 2011, Snowbird, UT, USA, July 14-20,","venue":null,"work_id":"1a419318-5d34-4b14-bba4-38d5e85bd092","year":2011},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.149816Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:956f107e376d132136a9c5007af192f16535be0f60140b3f0b8757602705f9d5","observation_id":"a40ba4f9-7dbe-4caa-a258-e0ae76b9e7b7","resolution":{"observed_at":"2026-08-14T16:00:05.787673Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38574-2_26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.668474Z","title":null,"venue":null,"work_id":"e7b06364-a17a-4919-a8e2-dd707eb69c5c","year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.409767Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:b076189ee2e37f438bbbefcfe0188c7a2cc9c7229f7cf66de7b9a33d4ea3eb04","observation_id":"a7aa3842-de50-46de-bd7a-4ad05ba59318","resolution":{"observed_at":"2026-08-14T16:00:03.695393Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.496021Z","title":"In Proceedings of the 19th ACM SIGPLAN international conferen ce on Functional programming, Gothenburg, Sweden, September 1-3, 2014 , Johan Jeuring and Manuel M","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.496021Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:0c8c87a5e6846948c463b8875e2d7cbcb756a83311c4eabd05f1b844d2227df0","observation_id":"b15c05e9-8063-4f74-89bb-f8e8ddb00ae6","resolution":{"observed_at":"2026-08-14T16:00:03.496021Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:05.613185Z","title":"In Programming Languages and Systems - 13th Asian Symposium, A PLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings","venue":null,"work_id":"6cc82812-be82-4c32-8fb1-76315a08ca28","year":2015},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.437570Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:db02acade7943a8f890278151652cc1f599059ac159b7926b7a6723cb0bc961e","observation_id":"c9c67e1c-020a-4527-bfad-1b8bc53331c5","resolution":{"observed_at":"2026-08-14T16:00:05.618984Z","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-14T16:00:05.671915Z","title":"In Proceedings of the 40th ACM SIGPLAN Conference on Programmi ng Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 20","venue":null,"work_id":"9973cba0-b280-4a5a-b290-7fbe01aa8c19","year":2019},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.366823Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:1c2ab42491e5e0b044065bcbb58c7a83d209ed165c423c60d0eacf3c539edc76","observation_id":"adcdc38b-6fc8-41b3-a468-3839de73fa18","resolution":{"observed_at":"2026-08-14T16:00:05.677386Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T16:00:03.265691Z","title":"https://doi.org/10.1007/978-3-540-78800-3_24 Manuel Fähndrich, Michael Carbin, and James R","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)","version":1},"reference_index":4963,"source":"pdf_text","source_observed_at":"2026-08-14T16:00:03.265691Z"},"links":{"citing_paper":"/paper/1908.00441"},"observation_digest":"sha256:8481755d1a26fd1e0c1bbd29f71b1397ba589f8ca1983065d39b0e324cf0bd59","observation_id":"c8774ec4-a5fb-467d-bbcc-e32de77fda2d","resolution":{"observed_at":"2026-08-14T16:00:03.265691Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.00441","last_updated":"2019-08-01T14:47:50Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T06:28:37.524600Z","submitted_at":"2019-08-01T14:47:50Z","title":"Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":24,"verified_exact":4,"verified_fuzzy":12},"total_outbound_references":43},"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 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:1908.00441."}