Pith. sign in

Paper Citation Record · LEDGER

Classifying Capabilities (Extended Version)

As of 23 August 2026, this Paper Citation Record lists 66 of 66 outbound references and 0 inbound Pith citation observations for arXiv:2607.24504.

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

pith.paper-citation-record.v1
2607.24504 v1

Coverage vector

measured 66 of 66 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-31T13:06:45.831233Z

measured 66 of 66 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

66 of 66 outbound references displayed

  • verified exact17
  • verified fuzzy0
  • unresolved44
  • parse uncertain0
  • malformed identifier5
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a210ef26-6683-4508-810b-cd1f37a447bc · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 1

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.204149Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.204149Z digest=sha256:47dec1a8c9e3982e7c4adfe22bc3ea9bb1564b8bdf15814fc3649fe8e7ec0abc

Observation de5c4dfe-7c3d-4414-a194-a58c250c243f · outbound

This paper cites Error handling,.

Classifying Capabilities (Extended Version) Error handling,

Reference 2

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.277265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.277265Z digest=sha256:ff0b18ab99a601f86f0637a31c60052b1ad4c67a2eb9b5f2424a178c22343d48

Observation d57d6ee5-de74-4973-818d-f757c0879e9e · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 3

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.342308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.342308Z digest=sha256:ab6f5020d7f6865d5c1bfb9b347855885f8d5e4ffef58f91906fcafcd46106e0

Observation 65425472-895e-4d56-94bf-e054c7b235d8 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.428723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.428723Z digest=sha256:dd161f0a46d90a221675f8de3a97732b33d01866e252b4d74c388c0c6ad10cb6

Observation aef0a975-8805-4f06-80cf-500133836982 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 5

Resolution
verified exact
doi, observed 2026-07-31T13:10:55.036639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:41.489030Z digest=sha256:021f225108ea28d8acb72d05a7a5839c82f4e281cd78a3d81e41b9852fe81bf1

Observation 47133fe2-93b4-4b0c-99d8-f1203af6c2b9 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.542798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.542798Z digest=sha256:81351ba34b6557fbcbe7b65bef1a1040ddca632544ff3a5a2573b3f6e6290192

Observation 4f9d7608-cc9f-4398-9d7a-bdb25658aa8a · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 7

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.688862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.688862Z digest=sha256:cad16880c5e520eaa4a16d152d010785fee850ea4b97c364697e7ec5226992f0

Observation 3aabd90a-962b-46f8-98d2-7df5f9e9ce47 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 8

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.740766Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.740766Z digest=sha256:d5be6ba91d88d999b9ff450e46e24fe6ac03a9855dd7b757330c5c59fab620aa

Observation 5556e25d-8bb7-4892-ba15-aeeda35c0598 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 9

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.788141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.788141Z digest=sha256:8606359b83b57532c7a5df6dc6f1f2f4d8e528c52971fc1936245a6b818c63f9

Observation ba54cedf-6337-46a5-a136-51e3ac1de0d1 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 10

Resolution
verified exact
doi, observed 2026-07-31T13:10:54.748247Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:41.836781Z digest=sha256:44929355462d01304f7fb5b5c9f3f0718701fe6c8157f560915fb65782b9cd7e

Observation 2775209b-2141-4619-9504-763eed1d11f5 · outbound

This paper cites Goodenough.

Classifying Capabilities (Extended Version) Goodenough

Reference 11

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.886013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.886013Z digest=sha256:6185d873a093059b6d78349f2085a3e3c14f13e285405f5b58bd1f6a8ab64e94

Observation ea167208-4ac7-46dd-be2d-f8e91f6357c9 · outbound

This paper cites Gordon, Matthew J.

Classifying Capabilities (Extended Version) Gordon, Matthew J

Reference 12

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.938101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.938101Z digest=sha256:66dca4828eacce72b81c276b6f8be0ce13cdc20051405bebe7755382ab5d6885

Observation 565a2d3c-08e2-4717-879c-746de609df01 · outbound

This paper cites Joy, and Guy L.

Classifying Capabilities (Extended Version) Joy, and Guy L

Reference 13

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.986467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.986467Z digest=sha256:9d4ee9dd61a1d3e31d38f0090d14d959a115de790f0bc77f7e54f10d70f0b9b3

Observation 04987b36-90cb-43cb-83f0-3bedec39cabb · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 14

Resolution
verified exact
doi, observed 2026-07-31T13:10:54.511654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.038789Z digest=sha256:8bf6f98bad3a99ab1fcf18f3235d8c7ffec10da6aa53d949a468480d1a587770

Observation 5e224903-1af3-4a36-be29-8e9b6857ee88 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:42.129625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.129625Z digest=sha256:b497390be12158f7667ffd9d5cdc66ed1f0f25f8c2faa6fb81f1a7aa3ea3bbdb

Observation 233bbbfe-b59d-4e2b-997e-f3b8f9eee7d7 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 16

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:42.208745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.208745Z digest=sha256:89fe2b22ff2d91f6c38d1c3776b5dba5436844f5aa34bac7fa8990a711274a76

Observation 3eb73b83-b624-4e0a-97c0-ac86e7fc3fb5 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 17

Resolution
verified exact
doi, observed 2026-07-31T13:10:54.336184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.303196Z digest=sha256:c37192e3c92368a40de778862b6f48600fb4eb1be58e1e5a59a5116f60637e01

Observation e62ed25d-a812-4780-981a-46511f1dae32 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 18

Resolution
verified exact
doi, observed 2026-07-31T13:10:54.128373Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.370816Z digest=sha256:a56622907cad802c56d362a855ac355cfcf30d085353c6d4f9eb7a2b3565552b

Observation 33e8a140-5c95-4c29-8884-e71dc1cdced8 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 19

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:42.435918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.435918Z digest=sha256:9759f3e5ca029d4b3e8a8cc297c6324c473896d00f53e258b8850f4166ac8c8a

Observation ccb6f101-748a-4888-8d74-4ce00798031a · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 20

Resolution
malformed identifier
no resolver link, observed 2026-07-31T13:06:42.556550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.556550Z digest=sha256:d18fe569cb21aaf0e0d6fb1d17e6c06a33f272afc630e4282410b0e7187ddc04

Observation 1839a616-5157-4b98-98d9-3b60a09d444f · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 22

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:42.718277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.718277Z digest=sha256:819ba5c1cd03df68cea295ecca790c24ac42cd9002cdd6602b28a7fadc73e08e

Observation 517ac424-d49d-4ce9-813e-d431422e55c0 · outbound

This paper cites Lucassen and David K.

Classifying Capabilities (Extended Version) Lucassen and David K

Reference 23

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:42.781542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:42.781542Z digest=sha256:7e2fcb660e1c7d78772adf14f7522514383df54105a26c33ae7ffeaf23937303

Observation 9a5c5402-9578-46bf-99d0-411c36963284 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 24

Resolution
verified exact
doi, observed 2026-07-31T13:10:53.740784Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.862485Z digest=sha256:8ceb1ebcfd4b92c18211f69f78aa5661a277e11033336ece92caf0d38ee47ace

Observation 7587fa46-9e07-4446-b387-47b4bac3828a · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 25

Resolution
verified exact
doi, observed 2026-07-31T13:10:53.584150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.950363Z digest=sha256:c212a401ed85d71436b2f961aeae1d3984425608b7c54bee9e0724ce4e626a0c

Observation 117fa73b-e850-4420-b4f0-d9d3399bed11 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 26

Resolution
verified exact
doi, observed 2026-07-31T13:10:53.389157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:43.014836Z digest=sha256:51b19252b814007252615399dee3222b41e3ffde1cf0dee72037b6a27ddca53a

Observation a2400305-8560-40c6-a1a8-99a6e6d7eee2 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 27

Resolution
verified exact
doi, observed 2026-07-31T13:10:53.121780Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:43.078233Z digest=sha256:59f2e267be4af78d77666373cc1eab4fd84e1111881f117360162979b95d4f8b

Observation 84c81aba-e95a-4e3f-a860-411c361149e2 · outbound

This paper cites Millstein.

Classifying Capabilities (Extended Version) Millstein

Reference 28

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.132155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.132155Z digest=sha256:b106efeb346784d6f7e9f88b1e055d10918f24057ca9081a71020829c29d70d1

Observation 39cb0254-617b-4dc1-8ee2-b3bbc6d6745a · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 29

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.270596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.270596Z digest=sha256:97284c335cae95fab6c17039bdb4e122217306b2227bd88d83767c1a02996a89

Observation 1a16bc00-836d-4dd4-8bc7-77fc6fc43ae4 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 30

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.332848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.332848Z digest=sha256:74377887043a73a8d671f7ad72a320eebe33c0ac0269175b25355ff5be7a2d6e

Observation 20832fba-9e9e-4cd8-b273-2427c9055833 · outbound

This paper cites 2025.Lexical Delimited Continuations for Scala 3.

Classifying Capabilities (Extended Version) 2025.Lexical Delimited Continuations for Scala 3

Reference 31

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.401159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.401159Z digest=sha256:ce0a285ab97f310e76f5b54799065ff53c4775e2cfca6058324ee448ff8d8652

Observation 69722ec5-39e0-40f7-bcb1-6bb66ab5e5d3 · outbound

This paper cites Garrett Morris and James McKinna.

Classifying Capabilities (Extended Version) Garrett Morris and James McKinna

Reference 32

Resolution
verified exact
doi, observed 2026-07-31T13:10:52.823121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:43.464487Z digest=sha256:7899b5abbc9bafa0f50fecfe1c7a3c9fd5685233dfb517cf3d02eaee4c3265d0

Observation 5e70de7d-4e28-43a1-932c-8393d4255856 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 33

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.552653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.552653Z digest=sha256:1befd0aa2e979276b486f4157e956d38aea76b1fa73df40368d8aa01162e381f

Observation db582b8e-a153-49fc-8a09-e6507fd316cf · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 34

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.722352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.722352Z digest=sha256:9645c97a6d349c857529afe6578782bf29df7bd28d921c29ea2a2e5ad901d4c6

Observation 0df9b6a2-e0bd-402d-af1e-1c76fc888034 · outbound

This paper cites Essertel, Xilun Wu, Lilliam I.

Classifying Capabilities (Extended Version) Essertel, Xilun Wu, Lilliam I

Reference 35

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.783703Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.783703Z digest=sha256:b256fca1242b3805c4aec4b578dafa56bf8b75514532cd14e23b4d011b5001ea

Observation e7c40f99-b328-43a3-aa24-193ee1e91b4b · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 36

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.870437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.870437Z digest=sha256:eae042bbc0531dfa74b2a6d616c0cbba66e63efcc9b56d06d1003f75ecbaf506

Observation d3c68364-5a64-442d-b9b8-568ffe86e486 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 37

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.944880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.944880Z digest=sha256:4a78f9b3f16181259f9b9f3c6ba281352ffa810cf33dae17690603800530f2ab

Observation 755feabe-28ac-4c21-9226-93145cf9571f · outbound

This paper cites Plotkin and Matija Pretnar.

Classifying Capabilities (Extended Version) Plotkin and Matija Pretnar

Reference 38

Resolution
malformed identifier
no resolver link, observed 2026-07-31T13:06:44.002452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.002452Z digest=sha256:753b160a49019b49d4c6c223d00a2869bef9d3c2198eb54346ef1382a51439ad

Observation 947c1fad-3f1b-443a-95a5-7c9a5549aa8e · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 39

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.074144Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.074144Z digest=sha256:8ac098a3b413b61a19c6a3f6d3880f85ec62936fbda78eb34bf3a20f8ed05082

Observation 786c6eff-f346-429e-854f-fc4998bb6670 · outbound

This paper cites 2014.A Practical Effect System for Scala.

Classifying Capabilities (Extended Version) 2014.A Practical Effect System for Scala

Reference 40

Resolution
malformed identifier
doi_truncated, observed 2026-07-31T13:10:52.442187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:44.156745Z digest=sha256:31ea5f33a51100fa22ef74ba7dac49866ed70ff23742354c2b1a5b786559f254

Observation 3f53999f-97fb-4a1d-a71c-748b8ff126f6 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 41

Resolution
verified exact
doi, observed 2026-07-31T13:10:52.208848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:44.221778Z digest=sha256:85d372969d985c126f986b0c02f3bb8d773f84772979dcb66825e26d35b2ed6b

Observation 89daafa8-00f5-423b-9f53-fac33cd0a893 · outbound

This paper cites Try API,.

Classifying Capabilities (Extended Version) Try API,

Reference 42

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.285961Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.285961Z digest=sha256:70a3043fa502db068aed9d2012609797cbda4954065dcc0f2cc7c21347dba417

Observation 5aca2a82-5d22-4fb9-8d0e-7a8824ee4417 · outbound

This paper cites Capture checker,.

Classifying Capabilities (Extended Version) Capture checker,

Reference 43

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.344594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.344594Z digest=sha256:14578fd1889de75266730d3645f6f3d1fefe1aa4ecef856d0d472d751cb42ada

Observation c1d0ed80-daeb-43e6-b590-4fa518b8b56c · outbound

This paper cites CanThrow API,.

Classifying Capabilities (Extended Version) CanThrow API,

Reference 44

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.400267Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.400267Z digest=sha256:1a1fe4dd362c7c4f3e3a066279bdb30820cefd03eed1abe8cc65c14985cc1ef9

Observation dba8166f-1a44-4759-a04d-fccaf4ca73b0 · outbound

This paper cites boundary API,.

Classifying Capabilities (Extended Version) boundary API,

Reference 45

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.479917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.479917Z digest=sha256:6218d45827159daaf3938f25bfe541eb6a992947e1a8da5a3d81826de4c09d79

Observation 580b38a1-4d09-4aef-8a2a-ba8449566cb8 · outbound

This paper cites Future API,.

Classifying Capabilities (Extended Version) Future API,

Reference 46

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.551863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.551863Z digest=sha256:b3550a47015ed9a13dbb521bfa2e55b7f1abeaf641687f61b7772115f723e1dd

Observation 1cbadb1d-2b0e-49d4-bb80-a240e8071083 · outbound

This paper cites Separation checking,.

Classifying Capabilities (Extended Version) Separation checking,

Reference 47

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.613372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.613372Z digest=sha256:ea3ae8b968c39ba4cb4ffca6d52076b5d3024654125b5f1a6f99f3529c2173c9

Observation 9f24d147-47e3-4997-87af-80e8de97c3b7 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 48

Resolution
verified exact
doi, observed 2026-07-31T13:10:52.002898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:44.674365Z digest=sha256:0dee6306ad56be2d1241fc0966978abe8fd595f0f16bdb05495ea9dcfa94b3a2

Observation 25f8219b-0791-4afb-95e7-c03a854e5f14 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 49

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.783459Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.783459Z digest=sha256:6f556e58fc8c0aeaba83b63eb65107e02eae01e037867d0e66783832818d9e93

Observation dcf6d97b-547b-452c-b2bb-3aad2ea32d8c · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 50

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.853791Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.853791Z digest=sha256:0c397a3ee24dc61d85a81379c30261eafb927f519d44b1218e9dcdeb2468d110

Observation a4ef579a-eb89-43ef-a4bd-9ad43b98f78d · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 51

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:44.987133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:44.987133Z digest=sha256:ebbd1265c030b88bff404ce8b9aa2826b61b528654906966e25155c0e8db7e09

Observation b5b00ead-3820-40b1-afc6-b252ca5f5e54 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 52

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.055141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.055141Z digest=sha256:fc3a5a761b1d23c96369b5929a44a421f53113cb13c00dfede5a84dbe25772d7

Observation 397f346e-9136-4ec9-86f5-726afa96e15a · outbound

This paper cites Peyton Jones.

Classifying Capabilities (Extended Version) Peyton Jones

Reference 53

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.153218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.153218Z digest=sha256:c318bd5caa98c1468d3560acbcf8cc607d73d30b83930cad8cfe5da4314b6621

Observation e587e9ab-a6ea-484c-84bc-752153dd1349 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 54

Resolution
malformed identifier
no resolver link, observed 2026-07-31T13:06:45.219549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.219549Z digest=sha256:827bcb646654e26f16ebbb9b5abc713c0c9e7bafaa1823a08c24c989771aff31

Observation a370092b-d6e2-4676-98db-13c375c189f2 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 55

Resolution
verified exact
doi, observed 2026-07-31T13:10:51.838805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:45.281279Z digest=sha256:aca023cc7a6518c36efb30b94ae5d92353b0c65758d81719873cbf77dcde1a9c

Observation 49294cc5-e011-46e2-a763-a4b7e1bcabcc · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 56

Resolution
verified exact
doi, observed 2026-07-31T13:10:51.657319Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:45.364834Z digest=sha256:0e747bab684566106ac74e6ca18f89120d09eb6dd3295d07b05504b7de67eb10

Observation ab00cede-888f-4e0f-b7aa-6bae43b91689 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 57

Resolution
verified exact
doi, observed 2026-07-31T13:10:51.507452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:45.411203Z digest=sha256:847114bc19bea3ea2b0739378167b3b8cda40d995abd26cc73965c6d2643bea2

Observation d82135a2-6d3c-4fd8-b4c1-79803bb17180 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 58

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.488752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.488752Z digest=sha256:72f7fcaadbadaf42aceed399cfedded472a6c5446739c547df0f8925b6894ad1

Observation 951bce7b-7cc6-4b04-b059-3ca81c7db93f · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 59

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.561809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.561809Z digest=sha256:77a38bbb0214c66575aa7d966b2759abfebbc748e9a41d420a060f9e1e174c95

Observation bdccad52-038b-48ee-a54e-b784b7df39b5 · outbound

This paper cites Formalizing Box Inference for Capture Calculus.

Classifying Capabilities (Extended Version) Formalizing Box Inference for Capture Calculus

Reference 60

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.608081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.608081Z digest=sha256:f9466c2353be337aa39468d5e8732ace32f938eef9bcec1fb6ee8486886452b7

Observation f758b5aa-a35a-4e9e-8220-905fc50a6929 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 61

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.686081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.686081Z digest=sha256:53dcc6d497f6fb3cb71800f990db3cbeab7bd45b5f21792d65d2c8ef4d10142c

Observation 77fadc46-8d80-48ee-b273-3fdfe2bc9ad6 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 62

Resolution
verified exact
doi, observed 2026-07-31T13:10:51.311555Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:45.755784Z digest=sha256:9963203988ed81af81ee041c6a3c6f5e778da349ff10f3ed60a266740bcf4d29

Observation 22a52e47-7b65-489d-a96d-68da4b28ede6 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 63

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:45.831233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:45.831233Z digest=sha256:8373501ec944801225ce79c8b54b9c500d815858d3b0bc8fb1d11eaec3e61d2b

Observation 8335b5a9-8a16-47ac-80ba-7b83908342c3 · outbound

This paper cites doi:10.1145/1481861.1481868 (cit.

Classifying Capabilities (Extended Version) doi:10.1145/1481861.1481868 (cit

Reference 2009

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:43.204181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.204181Z digest=sha256:95465e7e3adae489a817f416327ef2acad46d0e40fce3b9f56f3cb12da09c9c8

Observation deab8794-bd84-4d06-a937-5ad5fdfb2f3c · outbound

This paper cites InSCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021.

Classifying Capabilities (Extended Version) InSCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, Chicago, IL, USA, 17 October 2021

Reference 2021

Resolution
malformed identifier
no resolver link, observed 2026-07-31T13:06:43.643980Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:43.643980Z digest=sha256:512168facd83d1885a3cc31c78ecad90f3c6f33080ae7a8ef514da23b6132ad4

Observation f04a6d7b-34a5-4133-ba8e-29cee14c35c3 · outbound

This paper cites an unresolved cited work.

Classifying Capabilities (Extended Version) Unresolved cited work

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-07-31T13:06:41.630994Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-31T13:06:41.630994Z digest=sha256:f7a3c83c2c3851c7a3658ab9cffe3ed807b64c799692e48abd5a8223feef9779

Observation 206a64d0-8ab0-485f-8843-6aa7840c1931 · outbound

This paper cites ACM Program.

Classifying Capabilities (Extended Version) ACM Program

Reference 2024

Resolution
verified exact
doi, observed 2026-07-31T13:10:53.916687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

source=pdf_text observed=2026-07-31T13:06:42.495352Z digest=sha256:534e68196bedb6a2401abd7aea101b0825096155f3678067c7d4180e2c8bff4c

Pith citing papers

No inbound Pith citation observations are available.