{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:24SOJFSNCLSYA7P5LBSDD23QR7","short_pith_number":"pith:24SOJFSN","canonical_record":{"source":{"id":"1606.06379","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-21T00:45:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"98f909168ebf20ec5121deaffb448f49fe299d94f41b27063022802c244b6202","abstract_canon_sha256":"2499ec936ab34c532f4ab4c8e35d0653d4dc6b0a55f0964be319f6fb10fc2ef9"},"schema_version":"1.0"},"canonical_sha256":"d724e4964d12e5807dfd586431eb708ff3c5b8e51ff511dbece39c72d0fe6675","source":{"kind":"arxiv","id":"1606.06379","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06379","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06379v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06379","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"24SOJFSNCLSY","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"24SOJFSNCLSYA7P5","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"24SOJFSN","created_at":"2026-05-18T12:29:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:24SOJFSNCLSYA7P5LBSDD23QR7","target":"record","payload":{"canonical_record":{"source":{"id":"1606.06379","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-21T00:45:51Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"98f909168ebf20ec5121deaffb448f49fe299d94f41b27063022802c244b6202","abstract_canon_sha256":"2499ec936ab34c532f4ab4c8e35d0653d4dc6b0a55f0964be319f6fb10fc2ef9"},"schema_version":"1.0"},"canonical_sha256":"d724e4964d12e5807dfd586431eb708ff3c5b8e51ff511dbece39c72d0fe6675","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:11.095002Z","signature_b64":"Q792DM5MayMw44ntZQDS9vWvZ9BZQ5b8scYN1/8AZAh2EVLYRdKdFwxxHocasGjF7tTUmyPHkHykFV6IOrTwDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d724e4964d12e5807dfd586431eb708ff3c5b8e51ff511dbece39c72d0fe6675","last_reissued_at":"2026-05-18T01:12:11.094542Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:11.094542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.06379","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ExOuu3piDEhN54DbbT9o9EotprZt4L1qAMmVax66plAqtfYok8KrFBOLhyC8r7kwjujwAjSIJmTetcNmMgIPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:04.661673Z"},"content_sha256":"341106ae1855b8254577ffdaf3e43dacb3da26c0f562589e3b08dd1d5bd6f98a","schema_version":"1.0","event_id":"sha256:341106ae1855b8254577ffdaf3e43dacb3da26c0f562589e3b08dd1d5bd6f98a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:24SOJFSNCLSYA7P5LBSDD23QR7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Ikuo Kobori, Oleg Kiselyov, Yukiyoshi Kameyama","submitted_at":"2016-06-21T00:45:51Z","abstract_excerpt":"The salient feature of delimited-control operators is their ability to modify answer types during computation. The feature, answer-type modification (ATM for short), allows one to express various interesting programs such as typed printf compactly and nicely, while it makes it difficult to embed these operators in standard functional languages.\n  In this paper, we present a typed translation of delimited-control operators shift and reset with ATM into a familiar language with multi-prompt shift and reset without ATM, which lets us use ATM in standard languages without modifying the type system"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06379","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UoM27jZuhUiZwiVnk0ObL5lj+4d0qotl3RJSv5Qo5DRHPKdW7pgubrrdjwMIG1Z5lx8dTBFIh6isdLkCrUc7AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:04.662020Z"},"content_sha256":"021e1e7ec083d128116d1a95ded62f75ba10c1f51606a984bd5085dbc77f9c87","schema_version":"1.0","event_id":"sha256:021e1e7ec083d128116d1a95ded62f75ba10c1f51606a984bd5085dbc77f9c87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/24SOJFSNCLSYA7P5LBSDD23QR7/bundle.json","state_url":"https://pith.science/pith/24SOJFSNCLSYA7P5LBSDD23QR7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/24SOJFSNCLSYA7P5LBSDD23QR7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-28T03:25:04Z","links":{"resolver":"https://pith.science/pith/24SOJFSNCLSYA7P5LBSDD23QR7","bundle":"https://pith.science/pith/24SOJFSNCLSYA7P5LBSDD23QR7/bundle.json","state":"https://pith.science/pith/24SOJFSNCLSYA7P5LBSDD23QR7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/24SOJFSNCLSYA7P5LBSDD23QR7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:24SOJFSNCLSYA7P5LBSDD23QR7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2499ec936ab34c532f4ab4c8e35d0653d4dc6b0a55f0964be319f6fb10fc2ef9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-21T00:45:51Z","title_canon_sha256":"98f909168ebf20ec5121deaffb448f49fe299d94f41b27063022802c244b6202"},"schema_version":"1.0","source":{"id":"1606.06379","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06379","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06379v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06379","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"24SOJFSNCLSY","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"24SOJFSNCLSYA7P5","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"24SOJFSN","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:021e1e7ec083d128116d1a95ded62f75ba10c1f51606a984bd5085dbc77f9c87","target":"graph","created_at":"2026-05-18T01:12:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The salient feature of delimited-control operators is their ability to modify answer types during computation. The feature, answer-type modification (ATM for short), allows one to express various interesting programs such as typed printf compactly and nicely, while it makes it difficult to embed these operators in standard functional languages.\n  In this paper, we present a typed translation of delimited-control operators shift and reset with ATM into a familiar language with multi-prompt shift and reset without ATM, which lets us use ATM in standard languages without modifying the type system","authors_text":"Ikuo Kobori, Oleg Kiselyov, Yukiyoshi Kameyama","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-21T00:45:51Z","title":"Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06379","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:341106ae1855b8254577ffdaf3e43dacb3da26c0f562589e3b08dd1d5bd6f98a","target":"record","created_at":"2026-05-18T01:12:11Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2499ec936ab34c532f4ab4c8e35d0653d4dc6b0a55f0964be319f6fb10fc2ef9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-21T00:45:51Z","title_canon_sha256":"98f909168ebf20ec5121deaffb448f49fe299d94f41b27063022802c244b6202"},"schema_version":"1.0","source":{"id":"1606.06379","kind":"arxiv","version":1}},"canonical_sha256":"d724e4964d12e5807dfd586431eb708ff3c5b8e51ff511dbece39c72d0fe6675","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d724e4964d12e5807dfd586431eb708ff3c5b8e51ff511dbece39c72d0fe6675","first_computed_at":"2026-05-18T01:12:11.094542Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:11.094542Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Q792DM5MayMw44ntZQDS9vWvZ9BZQ5b8scYN1/8AZAh2EVLYRdKdFwxxHocasGjF7tTUmyPHkHykFV6IOrTwDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:11.095002Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.06379","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:341106ae1855b8254577ffdaf3e43dacb3da26c0f562589e3b08dd1d5bd6f98a","sha256:021e1e7ec083d128116d1a95ded62f75ba10c1f51606a984bd5085dbc77f9c87"],"state_sha256":"d038d6eb518bff51c636d67cf14af59e52fd64ab7d5591d127cc56431fe90cba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bhbS4+fzZdI4+lvJqebGwjFkgzFA+HVylobRqQcaG/WeYkDFnmmQZvoTKihs9c+KjLwobE4QbQt02wIpdQJrDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T03:25:04.664159Z","bundle_sha256":"e16a2e00958b018f8b4a1bf5ef570c1a506465b61ee91a0e76466eee0e2af91d"}}