{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:B4COWQMYJ6XGO6JX5NX4A4VTNE","short_pith_number":"pith:B4COWQMY","canonical_record":{"source":{"id":"1202.2917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-02-14T03:01:17Z","cross_cats_sorted":[],"title_canon_sha256":"5b44bfd6fc570956f6e7f4c370927712178c77143d1ecd6e1e10dc832f1c7b14","abstract_canon_sha256":"ede1389adfcfc0eea748046fcc0d95e37bb7ddabf37f9604b244ecf981ac4817"},"schema_version":"1.0"},"canonical_sha256":"0f04eb41984fae677937eb6fc072b36913d1b205647a066ac343bbb9b977f46d","source":{"kind":"arxiv","id":"1202.2917","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.2917","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"1202.2917v1","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.2917","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"B4COWQMYJ6XG","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"B4COWQMYJ6XGO6JX","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"B4COWQMY","created_at":"2026-05-18T12:26:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:B4COWQMYJ6XGO6JX5NX4A4VTNE","target":"record","payload":{"canonical_record":{"source":{"id":"1202.2917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-02-14T03:01:17Z","cross_cats_sorted":[],"title_canon_sha256":"5b44bfd6fc570956f6e7f4c370927712178c77143d1ecd6e1e10dc832f1c7b14","abstract_canon_sha256":"ede1389adfcfc0eea748046fcc0d95e37bb7ddabf37f9604b244ecf981ac4817"},"schema_version":"1.0"},"canonical_sha256":"0f04eb41984fae677937eb6fc072b36913d1b205647a066ac343bbb9b977f46d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:24.660822Z","signature_b64":"vdvIF085OnC6ayOMCk8cBoaegGn7TxSTry7OM9NYGNGq7cGCyALi+Uz4xFiusdcP8vX3DGyJbDDuUecb3REfCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f04eb41984fae677937eb6fc072b36913d1b205647a066ac343bbb9b977f46d","last_reissued_at":"2026-05-18T04:02:24.660311Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:24.660311Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.2917","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-18T04:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yiI9ssJW8uWrwQE5lpFzQ0REiEUp1Sq3uIk63azi7a9CYdMoZmu904Y9+JymndSj/Tc2dMer+FQuFeFRvJL5Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:17:24.302413Z"},"content_sha256":"0529159455a6818a6116169c16899077a8a2877e86dc189953d71c618f0248cf","schema_version":"1.0","event_id":"sha256:0529159455a6818a6116169c16899077a8a2877e86dc189953d71c618f0248cf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:B4COWQMYJ6XGO6JX5NX4A4VTNE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Parametric Compositional Data Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Patrick Bahr (Department of Computer Science, Tom Hvitved (Department of Computer Science, University of Copenhagen)","submitted_at":"2012-02-14T03:01:17Z","abstract_excerpt":"In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \\'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs provide a powerful tool for analysing and manipulating ASTs, they lack a convenient representation of variable binders. In this paper we remedy this deficiency by combining the framework of CDTs with Chlip"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.2917","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-18T04:02:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6sJzh9YeCMUi8Z8KiwNzY1xSW6K3UYFuKnrt94y/0dBxgablRLKRVxD+j9bqK2LDo7irof62VSRNuhhoWkX2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T13:17:24.302764Z"},"content_sha256":"08014b00b49afc73d6515b79bda7a7d8b8ceb462e676989bbc0eef0a7e7fc799","schema_version":"1.0","event_id":"sha256:08014b00b49afc73d6515b79bda7a7d8b8ceb462e676989bbc0eef0a7e7fc799"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/bundle.json","state_url":"https://pith.science/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/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-28T13:17:24Z","links":{"resolver":"https://pith.science/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE","bundle":"https://pith.science/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/bundle.json","state":"https://pith.science/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B4COWQMYJ6XGO6JX5NX4A4VTNE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:B4COWQMYJ6XGO6JX5NX4A4VTNE","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":"ede1389adfcfc0eea748046fcc0d95e37bb7ddabf37f9604b244ecf981ac4817","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-02-14T03:01:17Z","title_canon_sha256":"5b44bfd6fc570956f6e7f4c370927712178c77143d1ecd6e1e10dc832f1c7b14"},"schema_version":"1.0","source":{"id":"1202.2917","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.2917","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"arxiv_version","alias_value":"1202.2917v1","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.2917","created_at":"2026-05-18T04:02:24Z"},{"alias_kind":"pith_short_12","alias_value":"B4COWQMYJ6XG","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"B4COWQMYJ6XGO6JX","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"B4COWQMY","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:08014b00b49afc73d6515b79bda7a7d8b8ceb462e676989bbc0eef0a7e7fc799","target":"graph","created_at":"2026-05-18T04:02:24Z","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":"In previous work we have illustrated the benefits that compositional data types (CDTs) offer for implementing languages and in general for dealing with abstract syntax trees (ASTs). Based on Swierstra's data types \\'a la carte, CDTs are implemented as a Haskell library that enables the definition of recursive data types and functions on them in a modular and extendable fashion. Although CDTs provide a powerful tool for analysing and manipulating ASTs, they lack a convenient representation of variable binders. In this paper we remedy this deficiency by combining the framework of CDTs with Chlip","authors_text":"Patrick Bahr (Department of Computer Science, Tom Hvitved (Department of Computer Science, University of Copenhagen)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-02-14T03:01:17Z","title":"Parametric Compositional Data Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.2917","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:0529159455a6818a6116169c16899077a8a2877e86dc189953d71c618f0248cf","target":"record","created_at":"2026-05-18T04:02:24Z","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":"ede1389adfcfc0eea748046fcc0d95e37bb7ddabf37f9604b244ecf981ac4817","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-02-14T03:01:17Z","title_canon_sha256":"5b44bfd6fc570956f6e7f4c370927712178c77143d1ecd6e1e10dc832f1c7b14"},"schema_version":"1.0","source":{"id":"1202.2917","kind":"arxiv","version":1}},"canonical_sha256":"0f04eb41984fae677937eb6fc072b36913d1b205647a066ac343bbb9b977f46d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f04eb41984fae677937eb6fc072b36913d1b205647a066ac343bbb9b977f46d","first_computed_at":"2026-05-18T04:02:24.660311Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:24.660311Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vdvIF085OnC6ayOMCk8cBoaegGn7TxSTry7OM9NYGNGq7cGCyALi+Uz4xFiusdcP8vX3DGyJbDDuUecb3REfCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:24.660822Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.2917","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0529159455a6818a6116169c16899077a8a2877e86dc189953d71c618f0248cf","sha256:08014b00b49afc73d6515b79bda7a7d8b8ceb462e676989bbc0eef0a7e7fc799"],"state_sha256":"807662f6a4ba59011a94e3694167d7450f3cc499a09a4b66402006369c99a98e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Hgqd+pxH/jXNs1qUhGPiQx6wo6/ZdwhkAeZjfMKbYi0fs93UxsaiZNslGlj/oRd0u3Or0K+tl5vg3gRIXzT0DA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T13:17:24.304712Z","bundle_sha256":"4d31514fb6b65f9639ec389a74ff0bb3a187d291e45385540e4ceb31f31297d2"}}