Paper Citation Record · LEDGER

Typestate via Revocable Capabilities

As of 7 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2510.08889.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2510.08889 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T10:47:09.747207Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy0
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a29fcea8-0890-48e6-b7cc-8737451d67da · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.685216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bea892d2-3204-49d3-b39c-cad2841d068c · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.855677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dab55245-eaaa-4faa-9a04-98d2c63e565b · outbound

This paper cites Surv.54, 5 (2022), 98:1–98:38.

Typestate via Revocable Capabilities Surv.54, 5 (2022), 98:1–98:38

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.973461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b36b8f5b-a6a8-468c-9385-2fa74cce947a · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.394288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99526a31-e6ca-4496-bd49-3bff0f08c695 · outbound

This paper cites arXiv:2509.04253 [cs] Fritz Henglein, Henning Makholm, and Henning Niss.

Typestate via Revocable Capabilities arXiv:2509.04253 [cs] Fritz Henglein, Henning Makholm, and Henning Niss

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.515945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 302a098d-17fa-41b6-90d1-7531b0182a2f · outbound

This paper cites Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types.

Typestate via Revocable Capabilities Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.669246Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cfda408-68ca-42e9-9111-d68c79dce45c · outbound

This paper cites InOOPSLA.

Typestate via Revocable Capabilities InOOPSLA

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.679064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ef7e875-1287-4db1-be72-2047947fc040 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.693199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2573083f-a1bb-4e60-b66e-7240b20133d3 · outbound

This paper cites Methods Comput.

Typestate via Revocable Capabilities Methods Comput

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.697838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 416f25d9-0719-433c-be48-5b4d6d9df487 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.702084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdc3956f-c4b4-4eb3-880b-def071b51333 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.712763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10dbb0d0-c275-44c8-b853-bf405fb07123 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.717251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5fe3e07-a2e1-48d3-9ef2-e2f1b45330ba · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.732301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a08bb045-b1a7-435c-8406-38ea09cedf1c · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.737250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae23b9cd-bb35-47d6-a9eb-383a6a3748c5 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.742750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ab53480-fac9-488d-88ee-b3f4e64cb42b · outbound

This paper cites Formalizing Box Inference for Capture Calculus.

Typestate via Revocable Capabilities Formalizing Box Inference for Capture Calculus

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.747207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44e21a37-7ae4-40de-93e6-81ec287add70 · outbound

This paper cites ACM9, 3 (1966), 143–155.

Typestate via Revocable Capabilities ACM9, 3 (1966), 143–155

Reference 1966

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.941306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20157975-54a7-412c-9a76-191a3ad112f1 · outbound

This paper cites IEEE Trans.

Typestate via Revocable Capabilities IEEE Trans

Reference 1986

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.706835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20a9494c-47d4-4e07-b1b8-ecc5f3cd98b0 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 1987

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.314488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc3df858-8fdd-4ce8-ac9c-ba180ecefe35 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 1992

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.899879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ce436be-2a1a-4a0f-8a63-c1ace6979e9b · outbound

This paper cites In Proceedings of the ACM SIGPLAN’93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, Robert Cartwright (Ed.).

Typestate via Revocable Capabilities In Proceedings of the ACM SIGPLAN’93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, Robert Cartwright (Ed.)

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.134180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1741b093-38c7-4483-9b98-79cab354e7ec · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 2003

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.727615Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3ac3b45-f282-4c94-ac06-0ce6c0b10395 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 2006

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.722548Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4888628-d3fd-41de-9114-4c9dda4f5d19 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 2008

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.004636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de50862f-b093-4078-987e-a16822cb4e79 · outbound

This paper cites ACM Trans.

Typestate via Revocable Capabilities ACM Trans

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.214504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ec1049f-98f0-41b6-8aa1-6baf2c9b9cc1 · outbound

This paper cites InProceedings of the 11th ACM SIGPLAN Workshop on Generic Programming(Vancouver, BC, Canada)(WGP 2015).

Typestate via Revocable Capabilities InProceedings of the 11th ACM SIGPLAN Workshop on Generic Programming(Vancouver, BC, Canada)(WGP 2015)

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.664647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a7bf2bd-a6ee-4120-ad19-fbf57e452d0f · outbound

This paper cites Surv.49, 1 (2016), 3:1–3:36.

Typestate via Revocable Capabilities Surv.49, 1 (2016), 3:1–3:36

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.637707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1922dda-ebca-46f8-a0be-b47eaf2845bc · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.684222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 214b6c21-c0f7-4692-ab07-3900e0cd20e5 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.751877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8865f809-ff41-4351-bfb0-d16992611432 · outbound

This paper cites InProceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019 (EPTCS, Vol.

Typestate via Revocable Capabilities InProceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019 (EPTCS, Vol

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.674675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db2cab18-f4ee-4de3-925b-407c32ddd7e9 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.807771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7a65615-5f8f-46ef-bd09-d77bf42a7312 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.508756Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68046964-a17f-4797-a441-18ed880510eb · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2022

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.560136Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c58d025-0294-4bd9-be8a-27d2f728f181 · outbound

This paper cites an unresolved cited work.

Typestate via Revocable Capabilities Unresolved cited work

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.601255Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1f6355d-3200-42ae-9e63-7db53a27a893 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:09.688699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f32c4f7d-9daa-4e24-ab5a-bb49173017f6 · outbound

This paper cites ACM Program.

Typestate via Revocable Capabilities ACM Program

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-04T10:47:08.472305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.