{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:XLGIG4JI7YUE4H4DXPQDYRH5RY","short_pith_number":"pith:XLGIG4JI","schema_version":"1.0","canonical_sha256":"bacc837128fe284e1f83bbe03c44fd8e22aecad3cdc7a214d44ba18b5f34515a","source":{"kind":"arxiv","id":"1907.04934","version":3},"attestation_state":"computed","paper":{"title":"CallE: An Effect System for Method Calls","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Isaac Oscar Gariano, James Noble, Marco Servetto","submitted_at":"2019-07-10T21:26:49Z","abstract_excerpt":"Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallE, an object-oriented language that takes a flexible approach where effects are just method calls: this works well because ordinary methods often model things like I/O operations, access to global state, or primitive language operations such as thread creation. CallE supports both flexible and fine-grained control over such behaviour, in a way designed to minimis"},"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":"1907.04934","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-07-10T21:26:49Z","cross_cats_sorted":[],"title_canon_sha256":"423bb65466742cff686cec2609a05f22b3fe37d707e6042d57a29b27c81f8352","abstract_canon_sha256":"f2d4e63361d4c979d29a4ffe8fff4651dafff08bf2939f45d815d73553081027"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:02:39.536432Z","signature_b64":"RquPi8dYOzppZNJq42w7+zTKEsaAOddKUejwYpdgK2yxXszp3RRiKks6ateHj9HEnCPYS11UrD6YmNmr7ZcvAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bacc837128fe284e1f83bbe03c44fd8e22aecad3cdc7a214d44ba18b5f34515a","last_reissued_at":"2026-07-05T00:02:39.536062Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:02:39.536062Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CallE: An Effect System for Method Calls","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Isaac Oscar Gariano, James Noble, Marco Servetto","submitted_at":"2019-07-10T21:26:49Z","abstract_excerpt":"Effect systems are used to statically reason about the effects an expression may have when evaluated. In the literature, such effects include various behaviours as diverse as memory accesses and exception throwing. Here we present CallE, an object-oriented language that takes a flexible approach where effects are just method calls: this works well because ordinary methods often model things like I/O operations, access to global state, or primitive language operations such as thread creation. CallE supports both flexible and fine-grained control over such behaviour, in a way designed to minimis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.04934","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1907.04934/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":"1907.04934","created_at":"2026-07-05T00:02:39.536123+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.04934v3","created_at":"2026-07-05T00:02:39.536123+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.04934","created_at":"2026-07-05T00:02:39.536123+00:00"},{"alias_kind":"pith_short_12","alias_value":"XLGIG4JI7YUE","created_at":"2026-07-05T00:02:39.536123+00:00"},{"alias_kind":"pith_short_16","alias_value":"XLGIG4JI7YUE4H4D","created_at":"2026-07-05T00:02:39.536123+00:00"},{"alias_kind":"pith_short_8","alias_value":"XLGIG4JI","created_at":"2026-07-05T00:02:39.536123+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/XLGIG4JI7YUE4H4DXPQDYRH5RY","json":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY.json","graph_json":"https://pith.science/api/pith-number/XLGIG4JI7YUE4H4DXPQDYRH5RY/graph.json","events_json":"https://pith.science/api/pith-number/XLGIG4JI7YUE4H4DXPQDYRH5RY/events.json","paper":"https://pith.science/paper/XLGIG4JI"},"agent_actions":{"view_html":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY","download_json":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY.json","view_paper":"https://pith.science/paper/XLGIG4JI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.04934&json=true","fetch_graph":"https://pith.science/api/pith-number/XLGIG4JI7YUE4H4DXPQDYRH5RY/graph.json","fetch_events":"https://pith.science/api/pith-number/XLGIG4JI7YUE4H4DXPQDYRH5RY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY/action/storage_attestation","attest_author":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY/action/author_attestation","sign_citation":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY/action/citation_signature","submit_replication":"https://pith.science/pith/XLGIG4JI7YUE4H4DXPQDYRH5RY/action/replication_record"}},"created_at":"2026-07-05T00:02:39.536123+00:00","updated_at":"2026-07-05T00:02:39.536123+00:00"}