Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T22:05:04.358538Z
Paper Citation Record · LEDGER
As of 8 August 2026, this Paper Citation Record lists 62 of 62 outbound references and 0 inbound Pith citation observations for arXiv:2509.07609.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-04T22:05:04.358538Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
62 of 62 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation c796dfa8-168a-4a0c-9474-7580d6cc5384 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Parkinson, and Tobias Wrigstad
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d00313b0-fbc4-476e-802a-601cfe4ab870 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9efa5810-55d8-487f-95c1-abbeb4721c24 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation cc33a631-ee8f-4a91-994a-f3efa6a8f217 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9de90868-aa39-4572-812c-b9f60b28692b · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 850e5e11-a7e5-4149-a338-9554c8948ef3 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b96e3de4-0031-4587-a99e-181278b0c9b3 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Graph IRs for Impure Higher-Order Languages (Technical Report)
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 688ccbad-45cd-4564-af09-d39bae83cdd6 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5ab86604-83ed-4b57-a7b3-87056f5469bf · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ec22f723-e5f7-4f2f-92c2-d1ec211ef25f · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1563547b-930b-468c-84b3-b09fa9ea2ab9 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Canthrow capabilities
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3b4043dd-0f24-4140-96db-3caaf43c0089 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ad720e92-7abe-4b02-87a3-391eaa0ebb29 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 417859a2-2a8b-4170-b95a-d1a35ddeed65 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f27aa4cd-059c-45cd-a9f3-7b44061f8706 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5ade90dc-cf26-48d0-9efc-cd9d732aca60 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1c17f769-f8db-48a9-a5c8-827f69cfbcbe · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Fish, Darya Melicher, and Jonathan Aldrich
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a3f584d5-e9de-45bf-935f-9a059e777f46 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Foster, Manuel Fähndrich, and Alexander Aiken
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 20eb90e6-1874-42de-b6f3-1163151e673e · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0b46440-c825-47f7-8aaf-ecc9a8d840b5 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Gregory Morrisett, Trevor Jim, Michael W
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3111c8f2-078f-4f82-867a-c090ef2a57b3 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f4aa8281-f8ed-4230-afb9-577c1abcb7e8 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3e6cc68d-4dac-47f1-93d3-71bf5b717baf · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Leaking local reach capability
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 04d1eb3c-1f14-49d5-8331-22e798ee4f1d · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a5d1ffac-0526-4a14-ba5e-b2f0be0dd694 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ecd1455a-f405-471e-8780-668f1f5a1167 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Eisenberg, and Sam Lindley
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 628dc84d-d00b-4b18-b472-31220e794b03 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Lucassen and David K
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6e81eb88-1cfa-4d5c-99c7-7ddcffbe2c95 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b4df54f2-d96a-4344-813b-dc9357c3e7e2 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bffe926f-f1f5-4307-82d9-feb06845ef35 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Matsakis and Felix S
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f55d433b-8e13-4b27-8e0e-111b7441941d · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e7a051db-8983-445b-b751-50dd7910ecd2 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 32b1bb5b-007f-44b5-9fbf-cb915f7ce269 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 86c0d10a-9fe1-47bf-9c48-9c541ea23e9c · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6ca5027f-cfa6-4f4d-a5bc-2d4d3ec3b737 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2d54fac4-4f98-4e47-b286-b75ee71abc11 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 914ee987-2ac8-49f7-8fd5-b90b2638a870 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4df580e9-25e1-41d5-a5fe-a9e7bf172e30 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6df65b26-f682-4104-a42a-5872c38b8d01 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Essertel, Xilun Wu, Lilliam I
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 013af708-96f8-4866-af27-851fdc0da10b · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 49e0ec8e-a3c3-4ee6-a153-c69b45cf00b2 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) url: https://web.archive.org/web/20 241007175842/https://www.ponylang.io/, vcs: https://github.com/ponylang/ponyc (cit
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 40f68004-9d30-4e3c-80de-2795b6162109 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ef8e4874-e177-4334-91fa-410a176f2c77 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Reach capabilities get dropped in cv
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c36cf3e7-7d41-4ea8-a185-9a484b1b7690 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Reach capabilities of function arguments get ignored
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ef0de9d0-78b5-4956-addc-9ae527562e6b · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e715c48e-1657-4e4e-939d-5036ace571fc · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8984bb74-4105-43d3-bddf-04d6afee034f · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 80477f99-4fda-4446-b61e-6961432f4ebb · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 608d12ba-8897-44bf-a449-1088a8d54c7e · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0e9cb0df-7b19-4529-8200-ac23635c8f7c · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b434923d-3aa5-420e-81b6-695ac87560f6 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4328b364-9c45-4e06-a644-c38864084ab8 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ecc2cf5a-f021-46b7-8a2a-452bda8ea06a · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ebd4e952-d6fb-4348-84c0-69bc88499000 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 85e7c2dc-fe79-4bb1-8e0a-eec105643346 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3727f21b-0bda-4f37-96a6-cc0e94749804 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Formalizing Box Inference for Capture Calculus
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 13bd898a-cd31-4fc3-8dfc-486eb403f23b · outbound
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5c3a6ec0-c8c1-4f3b-b6ba-bf76d95028ac · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) We conclude this case by repeated application of the (tabs) rule
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2c316a64-eb5f-403f-9c30-e624ff056642 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 62
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3a931449-94e2-408e-b1a7-39088751fa1a · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) In SCALA/SPLASH
Reference 2021
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 009d7cf6-550f-4da0-8c64-7b62572362cd · outbound
Reference 2023
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ca949374-115b-46f4-ac83-495a0c922e03 · outbound
What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work
Reference 2024
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
No inbound Pith citation observations are available.