Pith. sign in

Paper Citation Record · LEDGER

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)

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.

pith.paper-citation-record.v1
2509.07609 v1

Coverage vector

measured 62 of 62 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T22:05:04.358538Z

measured 62 of 62 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

62 of 62 outbound references displayed

  • verified exact3
  • verified fuzzy17
  • unresolved40
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c796dfa8-168a-4a0c-9474-7580d6cc5384 · outbound

This paper cites Parkinson, and Tobias Wrigstad.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Parkinson, and Tobias Wrigstad

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.263478Z

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.

source=pdf_text observed=2026-08-04T22:05:02.330870Z digest=sha256:990c83373904d386f959cffa1a4f97a7d26ed23ec6540c963511abcaeaabe8d8

Observation d00313b0-fbc4-476e-802a-601cfe4ab870 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.253596Z

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.

source=pdf_text observed=2026-08-04T22:05:02.377128Z digest=sha256:8f1ef8c656755cf7b123ed86169183af338a8a57b354b7e8f38577f69b8fe0c3

Observation 9efa5810-55d8-487f-95c1-abbeb4721c24 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.242805Z

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.

source=pdf_text observed=2026-08-04T22:05:02.390006Z digest=sha256:278107ea027ac1b3dcf791f61b27e2ac2520deec2adbc739196cf7a31242382d

Observation cc33a631-ee8f-4a91-994a-f3efa6a8f217 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.232876Z

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.

source=pdf_text observed=2026-08-04T22:05:02.431098Z digest=sha256:8c245574f2eb6b8bcecea6aeb0a5fb35f82ffb03e7e4616ef926bb4e6a2b83e3

Observation 9de90868-aa39-4572-812c-b9f60b28692b · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:02.475412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:02.475412Z digest=sha256:abb3b33b62f773c788f894247b015d1f6ebeac9701d3a1fa2b9f47304b18a8b0

Observation 850e5e11-a7e5-4149-a338-9554c8948ef3 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.205639Z

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.

source=pdf_text observed=2026-08-04T22:05:02.535358Z digest=sha256:8232f6bd43712eddb260960833c07bdc407895379bbec3772ba4ffc1b05bba89

Observation b96e3de4-0031-4587-a99e-181278b0c9b3 · outbound

This paper cites Graph IRs for Impure Higher-Order Languages (Technical Report).

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

Resolution
verified exact
local_arxiv, observed 2026-08-04T22:05:04.827205Z

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.

source=pdf_text observed=2026-08-04T22:05:02.580396Z digest=sha256:a9d8d32c4ff9477a69d3af94f01f5f5e57b3c6be8cd31535ee75d53ad41b462c

Observation 688ccbad-45cd-4564-af09-d39bae83cdd6 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.195093Z

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.

source=pdf_text observed=2026-08-04T22:05:02.626091Z digest=sha256:5a3af71e4ea1036fcc6dc9cb707e14f67eddf8bed7933462917093b27887cb51

Observation 5ab86604-83ed-4b57-a7b3-87056f5469bf · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.184608Z

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.

source=pdf_text observed=2026-08-04T22:05:02.671798Z digest=sha256:e9d21cf4ee08db22c86f6623069e07edaf70e593b96769cd0bcbf92e6cf40f98

Observation ec22f723-e5f7-4f2f-92c2-d1ec211ef25f · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.173809Z

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.

source=pdf_text observed=2026-08-04T22:05:02.701343Z digest=sha256:a66b05fe6f6fb56ea2ab3902794765b36adfeab5d110153bc70a4e11b25d0faa

Observation 1563547b-930b-468c-84b3-b09fa9ea2ab9 · outbound

This paper cites Canthrow capabilities.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Canthrow capabilities

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.163736Z

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.

source=pdf_text observed=2026-08-04T22:05:02.746113Z digest=sha256:a9a04d1a543b37b6f52e36883060ab4bcf6746e7bb31d5eebf2905d19ecea221

Observation 3b4043dd-0f24-4140-96db-3caaf43c0089 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.153181Z

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.

source=pdf_text observed=2026-08-04T22:05:02.762713Z digest=sha256:4810bbdf8734ddc8ad5f18d7e4a74940934874b985e53dd5f544bc418aae6de7

Observation ad720e92-7abe-4b02-87a3-391eaa0ebb29 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.143521Z

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.

source=pdf_text observed=2026-08-04T22:05:02.805915Z digest=sha256:6637e46bd4079a16718fa4173f30c700fe1e45268fc30d549be3bbc658a72305

Observation 417859a2-2a8b-4170-b95a-d1a35ddeed65 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.133790Z

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.

source=pdf_text observed=2026-08-04T22:05:02.887506Z digest=sha256:36d86932cb537b1d42f56cba3f8602d719691cd2242f99753c8f5ebe1bfbfc9c

Observation f27aa4cd-059c-45cd-a9f3-7b44061f8706 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.124667Z

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.

source=pdf_text observed=2026-08-04T22:05:02.967261Z digest=sha256:b94df7c58f87de5f5cef068fe02e2d117290a10538dbbecea6dabb6631c97a37

Observation 5ade90dc-cf26-48d0-9efc-cd9d732aca60 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.115444Z

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.

source=pdf_text observed=2026-08-04T22:05:02.994765Z digest=sha256:54306748c66d64b66824ebe0277ed60a9e54096448c25824db919cf3da740ec7

Observation 1c17f769-f8db-48a9-a5c8-827f69cfbcbe · outbound

This paper cites Fish, Darya Melicher, and Jonathan Aldrich.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Fish, Darya Melicher, and Jonathan Aldrich

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.104044Z

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.

source=pdf_text observed=2026-08-04T22:05:03.035205Z digest=sha256:809360a0d826f5c91d5211433c2913da698768658ebd8cda7e9abe584c6c7306

Observation a3f584d5-e9de-45bf-935f-9a059e777f46 · outbound

This paper cites Foster, Manuel Fähndrich, and Alexander Aiken.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.094398Z

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.

source=pdf_text observed=2026-08-04T22:05:03.053398Z digest=sha256:c114990beb7367e7b079fc20a49adfb67c4d4e7f1f2c8e9000bf6ef5df5fce1a

Observation 20eb90e6-1874-42de-b6f3-1163151e673e · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:03.087949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:03.087949Z digest=sha256:f6063d847d69bb69522d112a331799fafd3957822f61601afa035fb1419c4ad9

Observation d0b46440-c825-47f7-8aaf-ecc9a8d840b5 · outbound

This paper cites Gregory Morrisett, Trevor Jim, Michael W.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Gregory Morrisett, Trevor Jim, Michael W

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.083845Z

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.

source=pdf_text observed=2026-08-04T22:05:03.105109Z digest=sha256:88d587f615e7e48df5f2dfdfd4576a7700369d1ee0e950bc41b2f5afea7c092b

Observation 3111c8f2-078f-4f82-867a-c090ef2a57b3 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.073275Z

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.

source=pdf_text observed=2026-08-04T22:05:03.134305Z digest=sha256:27e09a34bf44687ff516e7bdbc68144a8b87ad3019ec193e1cc975cce78a7651

Observation f4aa8281-f8ed-4230-afb9-577c1abcb7e8 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.063519Z

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.

source=pdf_text observed=2026-08-04T22:05:03.166245Z digest=sha256:9636525525c27a2ee083e4010faf7a9388678c52c27ccaaa73979ca458dcc33b

Observation 3e6cc68d-4dac-47f1-93d3-71bf5b717baf · outbound

This paper cites Leaking local reach capability.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Leaking local reach capability

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.052829Z

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.

source=pdf_text observed=2026-08-04T22:05:03.196159Z digest=sha256:1da5ea40dfa426ecb1f6d8d211048abee55409f45e4c3fc5ab9048ce11105513

Observation 04d1eb3c-1f14-49d5-8331-22e798ee4f1d · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.042323Z

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.

source=pdf_text observed=2026-08-04T22:05:03.232838Z digest=sha256:9dd33f809e8ff573ee19b822a20e84b22ab7da1ac0e2db0a47e86fd20d81f221

Observation a5d1ffac-0526-4a14-ba5e-b2f0be0dd694 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.019152Z

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.

source=pdf_text observed=2026-08-04T22:05:03.289117Z digest=sha256:5ee7e23f4c6eb338d4436b07f9ca0cb7a33561c8c809b3afdbc327f522807711

Observation ecd1455a-f405-471e-8780-668f1f5a1167 · outbound

This paper cites Eisenberg, and Sam Lindley.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Eisenberg, and Sam Lindley

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.007761Z

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.

source=pdf_text observed=2026-08-04T22:05:03.303449Z digest=sha256:3cc893116a8ca4ef8f313a072eb6c7b66cf9992524e7fbc2d7c3fee408e96eca

Observation 628dc84d-d00b-4b18-b472-31220e794b03 · outbound

This paper cites Lucassen and David K.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Lucassen and David K

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.994519Z

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.

source=pdf_text observed=2026-08-04T22:05:03.340108Z digest=sha256:06c82554b6f5d7bcc37c3754f20eaf86c55d6b19af5801d94669d69c479d23e0

Observation 6e81eb88-1cfa-4d5c-99c7-7ddcffbe2c95 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.984656Z

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.

source=pdf_text observed=2026-08-04T22:05:03.356597Z digest=sha256:fc9c6cd0407720c21e85f13c060ed6180b4d07bcb5b5ac68d4f6418ad4dac439

Observation b4df54f2-d96a-4344-813b-dc9357c3e7e2 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.975300Z

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.

source=pdf_text observed=2026-08-04T22:05:03.440548Z digest=sha256:b78db1b7d8f0ad1aa81547570f3036c0e991f29d40fe59ef47e0cfd1a2503e1f

Observation bffe926f-f1f5-4307-82d9-feb06845ef35 · outbound

This paper cites Matsakis and Felix S.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Matsakis and Felix S

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.964048Z

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.

source=pdf_text observed=2026-08-04T22:05:03.455837Z digest=sha256:e9864f855dfe3da1754d246c490fbeb3352bccdc0b149a047494f46e35a85f01

Observation f55d433b-8e13-4b27-8e0e-111b7441941d · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.954439Z

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.

source=pdf_text observed=2026-08-04T22:05:03.489534Z digest=sha256:476bffb48485aa06c989d64dae1b1ade2f9191e77c0d587f4bb3d7c1fddc4ea7

Observation e7a051db-8983-445b-b751-50dd7910ecd2 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.944802Z

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.

source=pdf_text observed=2026-08-04T22:05:03.519079Z digest=sha256:9c760078018d557aaee7b52f8e43903486368c1479c3f31afe59252b6333c9a2

Observation 32b1bb5b-007f-44b5-9fbf-cb915f7ce269 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.934734Z

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.

source=pdf_text observed=2026-08-04T22:05:03.560129Z digest=sha256:f864a9ea245d4919520923fe2f5cc051c6f062b908c581d6ef3a5eee17cf5d78

Observation 86c0d10a-9fe1-47bf-9c48-9c541ea23e9c · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.926128Z

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.

source=pdf_text observed=2026-08-04T22:05:03.593408Z digest=sha256:c459a717e0b11d2fb454aef8e3cf53c72df4eaab0d39467d65f9c0925b60c731

Observation 6ca5027f-cfa6-4f4d-a5bc-2d4d3ec3b737 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.916795Z

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.

source=pdf_text observed=2026-08-04T22:05:03.630069Z digest=sha256:4deda9d870445ae1339955c71a03ce5bc80cd6258714d276e6100ac2977e612b

Observation 2d54fac4-4f98-4e47-b286-b75ee71abc11 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 36

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:03.664084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:03.664084Z digest=sha256:8d24f044d23ff0c5fbf0d97df425f85b8d949b05408fdd711d11016c1cc1d681

Observation 914ee987-2ac8-49f7-8fd5-b90b2638a870 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.907607Z

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.

source=pdf_text observed=2026-08-04T22:05:03.685605Z digest=sha256:5e29efd425ca2d00472541a92540760cc123e2017818aca48912b08aadd06458

Observation 4df580e9-25e1-41d5-a5fe-a9e7bf172e30 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.898925Z

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.

source=pdf_text observed=2026-08-04T22:05:03.715171Z digest=sha256:a7f92cf5dc10c2344d44823925c710645e8c8df4e940ff63a4a679e8e7a76e01

Observation 6df65b26-f682-4104-a42a-5872c38b8d01 · outbound

This paper cites Essertel, Xilun Wu, Lilliam I.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Essertel, Xilun Wu, Lilliam I

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.878974Z

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.

source=pdf_text observed=2026-08-04T22:05:03.770986Z digest=sha256:7679e306041254d59401227380023c25d1e64837cc7b728ae08e3db2636392f6

Observation 013af708-96f8-4866-af27-851fdc0da10b · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 40

Resolution
metadata mismatch
arxiv_id, observed 2026-08-04T22:05:04.731001Z

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.

source=pdf_text observed=2026-08-04T22:05:03.787792Z digest=sha256:e0e2733a3c063adc447924ad4c71ec6aa19bf49568b8ef3af20e9d2ab6a6c175

Observation 49e0ec8e-a3c3-4ee6-a153-c69b45cf00b2 · outbound

This paper cites url: https://web.archive.org/web/20 241007175842/https://www.ponylang.io/, vcs: https://github.com/ponylang/ponyc (cit.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.867981Z

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.

source=pdf_text observed=2026-08-04T22:05:03.821561Z digest=sha256:7f9ef33ba94315360efcce4bf1f4fbd9078909d1e35117fb0e03a5170ba4de78

Observation 40f68004-9d30-4e3c-80de-2795b6162109 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.856801Z

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.

source=pdf_text observed=2026-08-04T22:05:03.856015Z digest=sha256:ad82eb59e5ae630041ca97588859d9713975c88684d3c51b85618a3c9370cb79

Observation ef8e4874-e177-4334-91fa-410a176f2c77 · outbound

This paper cites Reach capabilities get dropped in cv.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Reach capabilities get dropped in cv

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.845694Z

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.

source=pdf_text observed=2026-08-04T22:05:03.893215Z digest=sha256:d4bf9ab6aef93949ea56d5684e0430591acefd056d447d8c2f103e4f27585b32

Observation c36cf3e7-7d41-4ea8-a185-9a484b1b7690 · outbound

This paper cites Reach capabilities of function arguments get ignored.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.834342Z

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.

source=pdf_text observed=2026-08-04T22:05:03.920633Z digest=sha256:bc2b220fc24ab663c2ac8b926114e108088ee183d0db8b8a4eef1686c82b1a43

Observation ef0de9d0-78b5-4956-addc-9ae527562e6b · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.823022Z

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.

source=pdf_text observed=2026-08-04T22:05:03.956301Z digest=sha256:b5e2162392d35db837251d35b73a0f006aa0f1eb9b0595fa3399f15b27f383be

Observation e715c48e-1657-4e4e-939d-5036ace571fc · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.795951Z

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.

source=pdf_text observed=2026-08-04T22:05:03.995417Z digest=sha256:a8a13f6817b18093af707e6192a9f3afb6baea5c8ded182cab1cb7f4f0225c15

Observation 8984bb74-4105-43d3-bddf-04d6afee034f · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 47

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:04.007698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:04.007698Z digest=sha256:fa011bc374da906fe02c9877172f0195878932a540d9738eb328efad179d576b

Observation 80477f99-4fda-4446-b61e-6961432f4ebb · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.703227Z

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.

source=pdf_text observed=2026-08-04T22:05:04.034755Z digest=sha256:3d2223d58af76c547062d189cf8189af3639a68255a3becc55044292ce9ea2c6

Observation 608d12ba-8897-44bf-a449-1088a8d54c7e · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.510799Z

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.

source=pdf_text observed=2026-08-04T22:05:04.087142Z digest=sha256:322177b995d769ea2a1df81b37deeb0a4d69b3469564670df59f374e753b4537

Observation 0e9cb0df-7b19-4529-8200-ac23635c8f7c · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 50

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:04.101648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:04.101648Z digest=sha256:55b434a6b9ad5dced7675bf6ccdad7a5fa6eb883d0b52c04dcac5ff6d4d1ded1

Observation b434923d-3aa5-420e-81b6-695ac87560f6 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.402944Z

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.

source=pdf_text observed=2026-08-04T22:05:04.137716Z digest=sha256:1720d167f1205516c85f3d3f299d552653969526d8248a6ba7856ed368d528d3

Observation 4328b364-9c45-4e06-a644-c38864084ab8 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:05.274661Z

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.

source=pdf_text observed=2026-08-04T22:05:04.172140Z digest=sha256:de43407dc098344a9e2c307edc48e606ee6166eafd8e394f6bc914bcc6b53442

Observation ecc2cf5a-f021-46b7-8a2a-452bda8ea06a · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-04T22:05:04.179562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-04T22:05:04.179562Z digest=sha256:c06d502528177c355eb6da7ab687966dc5572cff388c688ca2012ee892ab4d67

Observation ebd4e952-d6fb-4348-84c0-69bc88499000 · outbound

This paper cites What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures.

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

Resolution
verified exact
doi, observed 2026-08-04T22:05:04.440742Z

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.

source=pdf_text observed=2026-08-04T22:05:04.215746Z digest=sha256:bae8cd6b18558db537315bcf78797c070dbbf59f87f6bef4b01250b5da626b8f

Observation 85e7c2dc-fe79-4bb1-8e0a-eec105643346 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 55

Resolution
metadata mismatch
arxiv_id, observed 2026-08-04T22:05:04.636213Z

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.

source=pdf_text observed=2026-08-04T22:05:04.251090Z digest=sha256:9ae8a2339473c3bfdb8685d9884b03a184c895bfd497e4af12d26c7cb10ad627

Observation 3727f21b-0bda-4f37-96a6-cc0e94749804 · outbound

This paper cites Formalizing Box Inference for Capture Calculus.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Formalizing Box Inference for Capture Calculus

Reference 56

Resolution
verified exact
local_arxiv, observed 2026-08-04T22:05:04.543293Z

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.

source=pdf_text observed=2026-08-04T22:05:04.284263Z digest=sha256:e3d3e575512df2fe2b44fff4255ea7e823551495a58227e5c031aec459ac7fe7

Observation 13bd898a-cd31-4fc3-8dfc-486eb403f23b · outbound

This paper cites Case (box).

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Case (box)

Reference 60

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.104517Z

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.

source=pdf_text observed=2026-08-04T22:05:04.322184Z digest=sha256:6a979cd6d4d20f10d5ef0adbb7e8ae050884a30e45332b17b9aa472580e4ef4b

Observation 5c3a6ec0-c8c1-4f3b-b6ba-bf76d95028ac · outbound

This paper cites We conclude this case by repeated application of the (tabs) rule.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.017627Z

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.

source=pdf_text observed=2026-08-04T22:05:04.336135Z digest=sha256:cbcbe5f31b881ef9e617e884d0781bd7c3351d0d2b8cb7b6204853220aa7b662

Observation 2c316a64-eb5f-403f-9c30-e624ff056642 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:04.942854Z

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.

source=pdf_text observed=2026-08-04T22:05:04.358538Z digest=sha256:2c6e62bea68199f09679e761cc3af47f1a2e346ae5c55f0d7e3847b8e0716f06

Observation 3a931449-94e2-408e-b1a7-39088751fa1a · outbound

This paper cites In SCALA/SPLASH.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) In SCALA/SPLASH

Reference 2021

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:05.889694Z

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.

source=pdf_text observed=2026-08-04T22:05:03.735765Z digest=sha256:6ecde136001dbb0263e146e34744a760a3b541762664fa4df47aad006b444c62

Observation 009d7cf6-550f-4da0-8c64-7b62572362cd · outbound

This paper cites ACM Trans.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) ACM Trans

Reference 2023

Resolution
verified fuzzy
raw_fallback, observed 2026-08-04T22:05:06.215667Z

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.

source=pdf_text observed=2026-08-04T22:05:02.490777Z digest=sha256:6ca8c5edeedd0314e73addf22cc763d376fd7128634b1c2787bb2c0366127dad

Observation ca949374-115b-46f4-ac83-495a0c922e03 · outbound

This paper cites an unresolved cited work.

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version) Unresolved cited work

Reference 2024

Resolution
unresolved
raw_fallback, observed 2026-08-04T22:05:06.031369Z

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.

source=pdf_text observed=2026-08-04T22:05:03.248011Z digest=sha256:6e1a826eb2080978fd71d0a7ee93e5b9ed6be6a33385eddf3fb3b93aef548b39

Pith citing papers

No inbound Pith citation observations are available.