{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:XZOUOAV6UV424HXOE4NFMMTLRJ","short_pith_number":"pith:XZOUOAV6","schema_version":"1.0","canonical_sha256":"be5d4702bea579ae1eee271a56326b8a61db828d1b541cf902c70f1510a9a2bf","source":{"kind":"arxiv","id":"1107.1203","version":1},"attestation_state":"computed","paper":{"title":"Improvements for Free","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Daniel Seidel, Janis Voigtl\\\"ander","submitted_at":"2011-07-06T17:55:03Z","abstract_excerpt":"\"Theorems for Free!\" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. Here we study an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. After developing the theory, we walk through a number of example derivations. Probably none of the statements deri"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1107.1203","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-07-06T17:55:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"a20e17d665e16d1effe0af168902230672c45d35735b773042e6007ca02b477f","abstract_canon_sha256":"956234576956bd383025b75d6ebc375c34947759d7a3860e8da6173d57fca939"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:18:45.340097Z","signature_b64":"OYLh5CD14L6CSaTdExByLzRz4XkMRMbXRIBwjmaJ6erstiJpmm0q444kt33BpdAwW6QyaZWCE4zNz1bvt5XeBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be5d4702bea579ae1eee271a56326b8a61db828d1b541cf902c70f1510a9a2bf","last_reissued_at":"2026-05-18T04:18:45.339406Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:18:45.339406Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Improvements for Free","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Daniel Seidel, Janis Voigtl\\\"ander","submitted_at":"2011-07-06T17:55:03Z","abstract_excerpt":"\"Theorems for Free!\" (Wadler, FPCA 1989) is a slogan for a technique that allows to derive statements about functions just from their types. So far, the statements considered have always had a purely extensional flavor: statements relating the value semantics of program expressions, but not statements relating their runtime (or other) cost. Here we study an extension of the technique that allows precisely statements of the latter flavor, by deriving quantitative theorems for free. After developing the theory, we walk through a number of example derivations. Probably none of the statements deri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.1203","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1107.1203","created_at":"2026-05-18T04:18:45.339521+00:00"},{"alias_kind":"arxiv_version","alias_value":"1107.1203v1","created_at":"2026-05-18T04:18:45.339521+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.1203","created_at":"2026-05-18T04:18:45.339521+00:00"},{"alias_kind":"pith_short_12","alias_value":"XZOUOAV6UV42","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_16","alias_value":"XZOUOAV6UV424HXO","created_at":"2026-05-18T12:26:47.523578+00:00"},{"alias_kind":"pith_short_8","alias_value":"XZOUOAV6","created_at":"2026-05-18T12:26:47.523578+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ","json":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ.json","graph_json":"https://pith.science/api/pith-number/XZOUOAV6UV424HXOE4NFMMTLRJ/graph.json","events_json":"https://pith.science/api/pith-number/XZOUOAV6UV424HXOE4NFMMTLRJ/events.json","paper":"https://pith.science/paper/XZOUOAV6"},"agent_actions":{"view_html":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ","download_json":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ.json","view_paper":"https://pith.science/paper/XZOUOAV6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1107.1203&json=true","fetch_graph":"https://pith.science/api/pith-number/XZOUOAV6UV424HXOE4NFMMTLRJ/graph.json","fetch_events":"https://pith.science/api/pith-number/XZOUOAV6UV424HXOE4NFMMTLRJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ/action/storage_attestation","attest_author":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ/action/author_attestation","sign_citation":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ/action/citation_signature","submit_replication":"https://pith.science/pith/XZOUOAV6UV424HXOE4NFMMTLRJ/action/replication_record"}},"created_at":"2026-05-18T04:18:45.339521+00:00","updated_at":"2026-05-18T04:18:45.339521+00:00"}