{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:AKCBEXPOQISMVCY6JX4BRMXH7I","short_pith_number":"pith:AKCBEXPO","schema_version":"1.0","canonical_sha256":"0284125dee8224ca8b1e4df818b2e7fa09cef32c2454c94e32adc72bddf2fdf4","source":{"kind":"arxiv","id":"1604.06245","version":4},"attestation_state":"computed","paper":{"title":"A Revision of the Mool Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ant\\'onio Ravara, Cl\\'audio Vasconcelos","submitted_at":"2016-04-21T10:24:17Z","abstract_excerpt":"We present here in a thorough analysis of the Mool language, covering not only its implementation but also the formalisation (syntax, operational semantics, and type system). The objective is to detect glitches in both the implementation and in the formal definitions, proposing as well new features and added expressiveness. To test our proposals we implemented the revision developed in the Racket platform."},"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":"1604.06245","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-21T10:24:17Z","cross_cats_sorted":[],"title_canon_sha256":"465001f6914625d13767356e8e480ec6a51eb658d1b1c4ab62bdfa7c1bd738d1","abstract_canon_sha256":"f434ff5320cb320f71feeba6be94d0b434289b59a071bfae071b112b13f1e22f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:04:05.602035Z","signature_b64":"SJm67tWCHGRJB+eQ2UfXElwDWekRMIXRwpfSfjaKONe1MDma9a2Dj3TEPd86qc3HhU9n6LZfqPOUk7rrm3JNBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0284125dee8224ca8b1e4df818b2e7fa09cef32c2454c94e32adc72bddf2fdf4","last_reissued_at":"2026-05-18T01:04:05.601405Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:04:05.601405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Revision of the Mool Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ant\\'onio Ravara, Cl\\'audio Vasconcelos","submitted_at":"2016-04-21T10:24:17Z","abstract_excerpt":"We present here in a thorough analysis of the Mool language, covering not only its implementation but also the formalisation (syntax, operational semantics, and type system). The objective is to detect glitches in both the implementation and in the formal definitions, proposing as well new features and added expressiveness. To test our proposals we implemented the revision developed in the Racket platform."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.06245","kind":"arxiv","version":4},"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":"1604.06245","created_at":"2026-05-18T01:04:05.601502+00:00"},{"alias_kind":"arxiv_version","alias_value":"1604.06245v4","created_at":"2026-05-18T01:04:05.601502+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.06245","created_at":"2026-05-18T01:04:05.601502+00:00"},{"alias_kind":"pith_short_12","alias_value":"AKCBEXPOQISM","created_at":"2026-05-18T12:30:07.202191+00:00"},{"alias_kind":"pith_short_16","alias_value":"AKCBEXPOQISMVCY6","created_at":"2026-05-18T12:30:07.202191+00:00"},{"alias_kind":"pith_short_8","alias_value":"AKCBEXPO","created_at":"2026-05-18T12:30:07.202191+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/AKCBEXPOQISMVCY6JX4BRMXH7I","json":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I.json","graph_json":"https://pith.science/api/pith-number/AKCBEXPOQISMVCY6JX4BRMXH7I/graph.json","events_json":"https://pith.science/api/pith-number/AKCBEXPOQISMVCY6JX4BRMXH7I/events.json","paper":"https://pith.science/paper/AKCBEXPO"},"agent_actions":{"view_html":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I","download_json":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I.json","view_paper":"https://pith.science/paper/AKCBEXPO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1604.06245&json=true","fetch_graph":"https://pith.science/api/pith-number/AKCBEXPOQISMVCY6JX4BRMXH7I/graph.json","fetch_events":"https://pith.science/api/pith-number/AKCBEXPOQISMVCY6JX4BRMXH7I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I/action/storage_attestation","attest_author":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I/action/author_attestation","sign_citation":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I/action/citation_signature","submit_replication":"https://pith.science/pith/AKCBEXPOQISMVCY6JX4BRMXH7I/action/replication_record"}},"created_at":"2026-05-18T01:04:05.601502+00:00","updated_at":"2026-05-18T01:04:05.601502+00:00"}