Pith. sign in

Paper Citation Record · LEDGER

Classifying Capabilities (Extended Version)

As of 7 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-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

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:c4618684653dbef409299487524b07c1709855333670d9fb19e7ce35bfdb5d3d

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:312ea45418edd84a4c2d859f3058228b50c36192447cc1510fbbcd3e3f836d05

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:8e42237163788fd6b0da57b496d4aea7d09435faa0e9c1fd6f670292c9302eb4

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:6cb6e1b1b8aaa7d911de5c9117d6c59b8276966bd13de8b6333440729d645c0a

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-07T06:34:17.273281+00:00.

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

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:4325b82a17f4757a4a66c22e0189925e198fa065d4d75aaa20998a3e6591d59b

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:2b13deeae07b674ec2c006e0cfa401b166bf0cc3df467198c292d905406628cd

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:906cf7e63e59c173e656a0739a39ffaf8dd1cca63bad46462559b11a72a0bff2

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:6659b21a9b6f13ffab2c7529f1e9e10e02f23fd056a89b54e349aaed01e3b7b4

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-07T06:34:17.273281+00:00.

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

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:4bdea96476e0e712e58f1e35fdcba08a2925cf4eed38568038b3366c6fb7a334

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:1c116e7f71136ae1098c5e9dbc11c59f1a9950303e9913e8292456eb50af5d1d

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:0cb45b3965071dc31d2897280d9fc4f369cc48c0934744724ecac07677407879

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:42.038789Z digest=sha256:7e635c5065aee421e1b2c1582f5f9bbff4880757c04be1b3e56313a57fecdca2

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:db86e2ec2872539deaa3d2d23b30e4eca9e00eb184873a52a5d86d177b7ecd7a

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:13aaa7a219c8cdfa91af306b5ed9d5b64f2b7f955b62c8af35f11ded54d3ce7a

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

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

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:b156bb077abfdea5a3eab84383ef9a2e7a949fe24479b9d4180bcf9796eeb553

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:9187df874ec885203c97442b56ccd90564bd9d344c18207e289879a5bacf2f0c

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:d51501330d48cc446237ecb5409f2fbad439264a0eb093e36a19ab660c19a275

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:e568fa2534f4f82fb95bc85ee3a71f0e8a72bc27b1acd5ccf2aa3b3373245c80

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:43.078233Z digest=sha256:03d0df966fd0f13f4517aea33fcae418cbc7b0e1c4ba5705096311b499051df7

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:07ba661498e8838738ee009bfbe8db3dbbc081d3b9634988312abce2a78dcdba

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:240098a0a8b006c5c58a2d67a64aca0467c6596391865c5f58840101c8175b17

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:f0f928442d95b889cab369e534c0bc626467c90201960974e3a2ba30a8d7295c

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:f0b555bad0e8ab6b4fa5a1e6ec2e57f58ca6b067a72b023bd1853f4dfe4644f6

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:43.464487Z digest=sha256:52496f2de7e730b90a19173003926e2558cc5a1a7cae9966fcf58e5ef4a5f0e4

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:b429f81526d3e7824c9df78cddbc61abe0f28a637b0e00b6e8e67cb1452f037b

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:2bcee168b978fb50024315df5f82517fc45fc4e96bb8804344270948c1aa7371

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:4ca8bda89c17036df188252310fb2a06fdfd2591fd5bd88832ae3fd13e0e27d5

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:0f1bbc8907451963eb83fcae6ab0ae7b849b43919d4dc2f2c83992de359e70c2

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:b0f73ce0e76fd10c4ce43f4309e4ef4d53447d4fcf108e4aa4f9e6dac12f65be

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:121cf07d12eeddd36eedf8aa2c3d404e88988e9fc73d8878e3fc50e4d802a06d

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:a979be66437a046fa55c7a21d7872186b1614ec2a476f4b261c5820180ea1e5b

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:44.221778Z digest=sha256:877e733c7edb5596d38779aedd632639146e1fe092bd360f849e3d9686b4b463

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:901a9204abeb23a8e4f9bf20dbe6ec29411b31d0641662c626d475e42a9f86d8

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:803bc2022981652989de22bbbc4b0090a33b52c8b63cbe8ea60bde16b502edd3

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:3b6b8587bac536ae9e8d6cf18e11e0f02fd78f0cae0002e795b1c1a6e46735a8

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:af6d1817b341896d00ef31c86ce0eb2ef74685511c118b96d0e472a5b3f3c439

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:0a7a1ca8605ac3457a66391a564fe661bd7423785d1f26666420b3a64e3f9ef9

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:5442bb301911e1f285fc8646296e499067dcbcde053dff234bac9ae6eb370c41

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:44.674365Z digest=sha256:43f8f974276a9731980568fbe27158b505f176c547db3eefbceb380b81c90dd2

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:e971b9f57693f3fd07c35fed69bdc2411d833b0db22ab487bc334c90324ef340

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:8797b9c2ff093610feafe2cc8f4be9b6f1a165892e5e68ee98a3372cbe22f423

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:e9aaf76a57eaad233a6458ce154c505f5415270fd8c8b3fd0eb7c98efe208b68

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:93a5653ceb01988c84410f097930996b73e02ef9c93e72c1cf2413408b0666ca

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:08549aaefb6b48b57d462dfc94b53ea60d1440655e74174879d02e792788c57b

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:21f1e07e5480453f6c27d728aa9f49c675dd40abefb057ef96e6735be20bc632

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

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

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-07T06:34:17.273281+00:00.

source=pdf_text observed=2026-07-31T13:06:45.411203Z digest=sha256:240d8c2b993a93ce464e436d96bec99560054453bb08fbc6ada1e255e4860054

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:7ee8509566b82bd9cf68f18a7d050a9049d902a4988f6e098d25d60d9f6e1f21

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:cf38a7d665f41ec6446e646357f1ef782bbf187bc0ca6e44cc308ee77a135949

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:7521ecc3344e477d06b9d2eb99eabb8639dfeeff78e693b5d4b8aaa1d2a8e36b

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:1718754dffcdabfd38d53e446eac89637ffc9dc70b034e89f69e54669befc5e9

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-07T06:34:17.273281+00:00.

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

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:168f0d64c417c967c2210207cedd6d9ef7cfd5d32741486686af15baa6e987e1

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:f20e7ca41b11f9a6c76630c376ab9ba831001c90e5c5605a5e8837965fc33501

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:341af261f166f65bdd8e7e43d21947535240b230b88b44f785cdf1e9b81edd7e

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:5145b7bbba8d867183a67bf5af7869c5e8c8557082dd12f7af4f714f6e3fe53f

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-07T06:34:17.273281+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.