{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:4XB34CMJKI5H4O42BHV26XRPBC","short_pith_number":"pith:4XB34CMJ","schema_version":"1.0","canonical_sha256":"e5c3be0989523a7e3b9a09ebaf5e2f08920c395ceac5a3fb95a8e13499db2933","source":{"kind":"arxiv","id":"2508.12475","version":1},"attestation_state":"computed","paper":{"title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Abhijit Paul","submitted_at":"2025-08-17T19:34:24Z","abstract_excerpt":"Prompt programming treats large language model prompts as software components with typed interfaces. Based on a literature survey of 15 recent works from 2023 to 2025, we observe a consistent trend: type systems are central to emerging prompt programming frameworks. However, there are gaps in constraint expressiveness and in supporting algorithms. To address these issues, we introduce the notion of Lambda Prompt, a dependently typed calculus with probabilistic refinements for syntactic and semantic constraints. While this is not yet a full calculus, the formulation motivates a type-theoretic f"},"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":"2508.12475","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2025-08-17T19:34:24Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"d875945e521efa9c0bd4c02ff0fbfd51301818da56ae98583968ead6f6f0c17c","abstract_canon_sha256":"c86660a6bbcf444561df99027fde8f39c15b9566ab8c4465a5f5a01ae76b9279"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:55:06.383068Z","signature_b64":"pkuERJAJuMe5zChsJ/1OLldLNr+9nwT0S6/ruxYZt/rAEibU2kLx0EBCe/qnPmMrcewSDU8QaJUF9FEQRQGZCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5c3be0989523a7e3b9a09ebaf5e2f08920c395ceac5a3fb95a8e13499db2933","last_reissued_at":"2026-07-05T11:55:06.382623Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:55:06.382623Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.PL","authors_text":"Abhijit Paul","submitted_at":"2025-08-17T19:34:24Z","abstract_excerpt":"Prompt programming treats large language model prompts as software components with typed interfaces. Based on a literature survey of 15 recent works from 2023 to 2025, we observe a consistent trend: type systems are central to emerging prompt programming frameworks. However, there are gaps in constraint expressiveness and in supporting algorithms. To address these issues, we introduce the notion of Lambda Prompt, a dependently typed calculus with probabilistic refinements for syntactic and semantic constraints. While this is not yet a full calculus, the formulation motivates a type-theoretic f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.12475","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.12475/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2508.12475","created_at":"2026-07-05T11:55:06.382684+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.12475v1","created_at":"2026-07-05T11:55:06.382684+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.12475","created_at":"2026-07-05T11:55:06.382684+00:00"},{"alias_kind":"pith_short_12","alias_value":"4XB34CMJKI5H","created_at":"2026-07-05T11:55:06.382684+00:00"},{"alias_kind":"pith_short_16","alias_value":"4XB34CMJKI5H4O42","created_at":"2026-07-05T11:55:06.382684+00:00"},{"alias_kind":"pith_short_8","alias_value":"4XB34CMJ","created_at":"2026-07-05T11:55:06.382684+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/4XB34CMJKI5H4O42BHV26XRPBC","json":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC.json","graph_json":"https://pith.science/api/pith-number/4XB34CMJKI5H4O42BHV26XRPBC/graph.json","events_json":"https://pith.science/api/pith-number/4XB34CMJKI5H4O42BHV26XRPBC/events.json","paper":"https://pith.science/paper/4XB34CMJ"},"agent_actions":{"view_html":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC","download_json":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC.json","view_paper":"https://pith.science/paper/4XB34CMJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.12475&json=true","fetch_graph":"https://pith.science/api/pith-number/4XB34CMJKI5H4O42BHV26XRPBC/graph.json","fetch_events":"https://pith.science/api/pith-number/4XB34CMJKI5H4O42BHV26XRPBC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC/action/storage_attestation","attest_author":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC/action/author_attestation","sign_citation":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC/action/citation_signature","submit_replication":"https://pith.science/pith/4XB34CMJKI5H4O42BHV26XRPBC/action/replication_record"}},"created_at":"2026-07-05T11:55:06.382684+00:00","updated_at":"2026-07-05T11:55:06.382684+00:00"}