{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:23OBLFSBTTYX3NPKLGCDI6AQAE","short_pith_number":"pith:23OBLFSB","schema_version":"1.0","canonical_sha256":"d6dc1596419cf17db5ea5984347810012df4e49d710cf27e7b7edbfe62773701","source":{"kind":"arxiv","id":"1310.4780","version":3},"attestation_state":"computed","paper":{"title":"Effective Quotation: relating approaches to language-integrated query","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gabriel Radanne, James Cheney, Philip Wadler, Sam Lindley","submitted_at":"2013-10-17T17:29:40Z","abstract_excerpt":"Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both approaches provide rich dynamic query generation capabilities, and thus amount to a form of heterogeneous staged computation, but to date there has been no formal investigation of their relative expressiveness. We present two core calculi Eff and Quot, respectively capturing the essential aspects of language-integrated querying using effects in Links and quotation in LINQ. We show via translations from Eff to Quot and "},"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":"1310.4780","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-10-17T17:29:40Z","cross_cats_sorted":[],"title_canon_sha256":"a4bf0ac4e3b03b52a41026e3f600d68bd480a1cb1f0783632a8a75e5d1cb1e50","abstract_canon_sha256":"9afc54f6157c48b453761e33d0ec9179e2ccd7d96a6ee6ffefc88b09bea917c2"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:22.365846Z","signature_b64":"vHZ70KnHUqaqi7/c/If/8SaL/G5lmssXp/Mn5bq9Sq6b0GJKUVOSuKmzC5XZl8namt9hG7D27lC6OwYlWChwCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d6dc1596419cf17db5ea5984347810012df4e49d710cf27e7b7edbfe62773701","last_reissued_at":"2026-05-18T02:54:22.365431Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:22.365431Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Effective Quotation: relating approaches to language-integrated query","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gabriel Radanne, James Cheney, Philip Wadler, Sam Lindley","submitted_at":"2013-10-17T17:29:40Z","abstract_excerpt":"Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both approaches provide rich dynamic query generation capabilities, and thus amount to a form of heterogeneous staged computation, but to date there has been no formal investigation of their relative expressiveness. We present two core calculi Eff and Quot, respectively capturing the essential aspects of language-integrated querying using effects in Links and quotation in LINQ. We show via translations from Eff to Quot and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.4780","kind":"arxiv","version":3},"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":"1310.4780","created_at":"2026-05-18T02:54:22.365500+00:00"},{"alias_kind":"arxiv_version","alias_value":"1310.4780v3","created_at":"2026-05-18T02:54:22.365500+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4780","created_at":"2026-05-18T02:54:22.365500+00:00"},{"alias_kind":"pith_short_12","alias_value":"23OBLFSBTTYX","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_16","alias_value":"23OBLFSBTTYX3NPK","created_at":"2026-05-18T12:27:30.460161+00:00"},{"alias_kind":"pith_short_8","alias_value":"23OBLFSB","created_at":"2026-05-18T12:27:30.460161+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/23OBLFSBTTYX3NPKLGCDI6AQAE","json":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE.json","graph_json":"https://pith.science/api/pith-number/23OBLFSBTTYX3NPKLGCDI6AQAE/graph.json","events_json":"https://pith.science/api/pith-number/23OBLFSBTTYX3NPKLGCDI6AQAE/events.json","paper":"https://pith.science/paper/23OBLFSB"},"agent_actions":{"view_html":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE","download_json":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE.json","view_paper":"https://pith.science/paper/23OBLFSB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1310.4780&json=true","fetch_graph":"https://pith.science/api/pith-number/23OBLFSBTTYX3NPKLGCDI6AQAE/graph.json","fetch_events":"https://pith.science/api/pith-number/23OBLFSBTTYX3NPKLGCDI6AQAE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE/action/storage_attestation","attest_author":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE/action/author_attestation","sign_citation":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE/action/citation_signature","submit_replication":"https://pith.science/pith/23OBLFSBTTYX3NPKLGCDI6AQAE/action/replication_record"}},"created_at":"2026-05-18T02:54:22.365500+00:00","updated_at":"2026-05-18T02:54:22.365500+00:00"}