{"as_of":"2026-08-16T15:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6ce565302ede7705b74d0a34a0d3b58debb716899af9a318f2336f4e51b53887","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:33:16.302637Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"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.06478/citation-record","integrity":"/paper/1908.06478/integrity","json":"/paper/1908.06478/citation-record.json","paper":"/paper/1908.06478"},"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-14T13:33:16.634414Z","title":"https://downloads.haskell.org/~ghc/8.2.2/docs/html/ libraries/ghc-8.2.2/CoreSyn.html","venue":null,"work_id":"cd1619fa-6e7b-466e-af8d-cc60e982fdc7","year":2019},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.220898Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:36cb6b5ecc960591b3ed3e0441f8553638d3ed87bc87dac5743fdb1c2a5977c6","observation_id":"d0c928a1-36eb-4935-856c-431d3e50c586","resolution":{"observed_at":"2026-08-14T13:33:16.638963Z","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-14T13:33:16.619490Z","title":"https://downloads.haskell.org/~ghc/8.2.2/docs/html/ libraries/ghc-8.2.2/HsExpr.html","venue":null,"work_id":"53ab7b62-ef4a-422c-af23-0a2cb206d09d","year":2019},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.227157Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:276fed879a1721d30aa6439c1eb6e39de69d9145a7840b17aac464be6ba41ee0","observation_id":"464addb4-241f-4880-8b1a-6de1a82d77bd","resolution":{"observed_at":"2026-08-14T13:33:16.624398Z","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-14T13:33:16.602374Z","title":"https://downloads.haskell.org/~ghc/8.2.2/docs/html/ libraries/ghc-8.2.2/Plugins.html","venue":null,"work_id":"262e7880-73fa-433e-8fc2-7f09931a7170","year":2019},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.232454Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:991cbe5ab65a9c4b64914e7001500a126615936e23251e30f831cc8ea73b12c6","observation_id":"e9b45f21-fec1-456d-9972-27e3f92c970a","resolution":{"observed_at":"2026-08-14T13:33:16.607359Z","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-14T13:33:16.586350Z","title":"https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/ generated-code?version_id=33352ae3","venue":null,"work_id":"b06f04c7-622c-499c-badb-bc82e72391e0","year":2019},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.237901Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:799e726480ce49bf519db4b152da748bc73a699f9a2a567fb998d1e5fdf9fe4f","observation_id":"480848a8-b244-45d3-acec-8937c2783274","resolution":{"observed_at":"2026-08-14T13:33:16.591241Z","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-14T13:33:16.243522Z","title":"In: 24rd Interna- tional Conference on Computer Aided V erification (CA V’12) , Lecture Notes in Computer Science 7358, Springer, pp","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.243522Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:0eb26e35a763e82769c0f95af576e9061949fb255c143a6a203f08c49b71cfe9","observation_id":"caaebab1-a0ea-463c-8454-adccaad24d79","resolution":{"observed_at":"2026-08-14T13:33:16.243522Z","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-14T13:33:16.248968Z","title":"In: ACM SIGPLAN Notices , 52, ACM, pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.248968Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:84c3a7c1122105fc4b2f9f0cf9920cf46074de4deb9c45ee63eff49df6785f01","observation_id":"5b7e4893-5d0f-4019-b22c-2b5787fc015f","resolution":{"observed_at":"2026-08-14T13:33:16.248968Z","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-14T13:33:16.569689Z","title":"Bachelor’s thesis, Ludwig-Maximilian-Universit¨ at M¨ unchen","venue":null,"work_id":"f78f92a0-557f-4b53-8eb5-34460cc132c9","year":2016},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.255349Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:1c01f75b66b14759ef8bc438f36e8433712c3a412a40ea5bc469adb7bddfd058","observation_id":"606f7bf3-f7b8-47aa-922d-0546594f6e15","resolution":{"observed_at":"2026-08-14T13:33:16.575437Z","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-14T13:33:16.553318Z","title":null,"venue":null,"work_id":"eec2716b-4a63-4aa5-bec8-d61cadc46d54","year":2010},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.261370Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:95b304caac76cf19a857d22de771a88bc7279142b262801a1da366a547b05d77","observation_id":"e514d454-e0c8-4e36-a5c7-10988f1bf746","resolution":{"observed_at":"2026-08-14T13:33:16.558140Z","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-14T13:33:16.267650Z","title":"Journal of Automated Reasoning 59(1), pp","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.267650Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:91b115298a6876e4a988d26fadf3b5941ec761fce12484b2f49f1ed536e9a333","observation_id":"894bd527-6c65-456d-b7e0-28195be94cba","resolution":{"observed_at":"2026-08-14T13:33:16.267650Z","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-14T13:33:16.538444Z","title":"Bachelor’s thesis, Ludwig-Maximilian-Universit¨ at M¨ unchen","venue":null,"work_id":"d0a1e547-45fc-4a97-9425-79ddc4692bd3","year":2017},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.273568Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:5a1ec3fabaca1ca96ad5457ebf67bc2938fbd7166646d8aba6f89a3e6c3af48e","observation_id":"ced6f20b-744c-4b74-8c42-173d39176a48","resolution":{"observed_at":"2026-08-14T13:33:16.543051Z","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-14T13:33:16.521519Z","title":"Bachelor’s thesis, Ludwig-Maximilian-Universit¨ at M¨ unchen","venue":null,"work_id":"e27c6188-0abb-497f-8b2e-ed2bc03860ef","year":2017},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.280032Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:c502a61c365cb163e76685fb5a81afe3680d17b4f20019b2fe44ff45241faf24","observation_id":"f02fd525-0da1-473e-aa65-50ea040d79d8","resolution":{"observed_at":"2026-08-14T13:33:16.526739Z","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-14T13:33:16.504734Z","title":"Master’s thesis, Ludwig-Maximilian-Universit¨ at M¨ unchen","venue":null,"work_id":"b27c3f99-aa9b-486a-a14e-5f25e7663179","year":2018},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.285271Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:4b9f5d3f15144d8c4f504ca9b1a14a35183f3abbc3b9b661c9a2261630342733","observation_id":"0c1fb095-9669-42f9-88da-65fc0bea052b","resolution":{"observed_at":"2026-08-14T13:33:16.510478Z","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-14T13:33:16.290987Z","title":"In: ACM SIGPLAN International Workshop on Types in Language Design and Implementation (TLDI’07) , pp","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.290987Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:749e00addf892d344f7d38b0b9e822fc136c34385a186730ad85d8f1334233e9","observation_id":"4ad32abe-cab5-42a4-9226-cb7c9454b47e","resolution":{"observed_at":"2026-08-14T13:33:16.290987Z","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-14T13:33:16.487281Z","title":"https://downloads","venue":null,"work_id":"d7efbce8-2a96-4d47-b94f-4fbef9164635","year":2017},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.296370Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:f2d8754ad19f0d666248e28d409c8abebd8e716dacc2730c51ec47e13f899790","observation_id":"b1bf4ea1-48b9-42b2-8fa2-fd4480cdf0af","resolution":{"observed_at":"2026-08-14T13:33:16.493532Z","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-14T13:33:16.302637Z","title":"An- nals of Pure and Applied Logic 98(1-3), pp","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T13:33:16.302637Z"},"links":{"citing_paper":"/paper/1908.06478"},"observation_digest":"sha256:82be81216de4b5701a9fb64432e03d8f22f9cc25d7cdb739d4841816d2680e24","observation_id":"bc7cb9ec-6e4b-452a-9c90-9c0fbe9e404e","resolution":{"observed_at":"2026-08-14T13:33:16.302637Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.06478","last_updated":"2019-08-14T01:57:59Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T10:56:51.433525Z","submitted_at":"2019-08-14T01:57:59Z","title":"Type-Based Resource Analysis on Haskell"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":9},"total_outbound_references":15},"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 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:1908.06478."}