Paper Citation Record · LEDGER

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages

As of 14 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 1 inbound Pith citation observation for arXiv:2607.19693.

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

pith.paper-citation-record.v1
2607.19693 v3

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T12:06:03.746307Z

measured 49 of 49 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T14:15:23.300819Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-01T18:16:15.623592Z

Reference resolution

48 of 48 outbound references displayed

verified exact6
verified fuzzy0
unresolved40
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 68498676-251e-46ba-885e-96af9c6c906d · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:00.470583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0645f34e-7055-4eb0-a0c5-4f4803acc880 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:00.587016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dec79ce5-d098-4ce8-b057-943e06828972 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:00.727654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4745dab-c959-41f8-b5df-6c6765872dee · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:00.863579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16a93ed0-d3fb-4543-8841-9eaacbf9f05b · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.003089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dbbc3fb-1e91-45c2-bdb6-07061773a043 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.144771Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77e9c24f-1efd-4721-9490-b45e0fe1b947 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.317578Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 714fd199-2e8b-490f-b339-b44d3b57c3b4 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-01T12:09:01.466714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 13434083-fbf5-461e-aa25-aaa09fc5d48a · outbound

This paper cites Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.476110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d403d04-197a-4be8-bfdf-eb3f5a6042a3 · outbound

This paper cites Mitchell.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Mitchell

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.605277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d2b1732-a50f-4f09-b005-6d4e2a04ce27 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.681979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e05709d-7665-4f26-85b1-306d836f4f5d · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.794927Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c08a07d-3f25-47ab-8c9d-d5057d7fa0ac · outbound

This paper cites Smith, and Valery Trifonov.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Smith, and Valery Trifonov

Reference 13

Resolution: verified exact; doi, observed 2026-08-01T12:09:01.078546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation dc6255cc-8f00-42bb-a2bd-23ed37e8a94d · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:01.949162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bf963a6-70c3-4c21-bf93-c77272a86e52 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.018483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e763ef4-4d37-4bf5-ae2f-6684cd472bfc · outbound

This paper cites Liskov and Jeannette M.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Liskov and Jeannette M

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.091390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ea5f35a-7f95-4729-adb9-f007618536d8 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-01T12:09:00.773959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 8fbb5597-14a8-4790-8c55-44648e44e1a4 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.311305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6961de5b-067b-407d-8540-852202a40a63 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.395482Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9ae3ab3-e1f5-4fd5-ba97-a9d6bacf6dd5 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.475792Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1973bbb8-9a94-4fd3-81ad-fb1d94b535ad · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.534470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 919a033a-619a-4120-8336-bebfdc7d116d · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.591841Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2740683f-893e-480b-bc31-45aeaeaaafb4 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.648544Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0fe0409-1eb9-4e56-a962-958b8792b292 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.704135Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f832818-244d-4c74-adf9-5837ab78c4ff · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.761371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11e14c01-73d7-43bf-b665-fa703dca3b3e · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 26

Resolution: malformed identifier; no resolver link, observed 2026-08-01T12:06:02.816716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6d7b68c-ea18-4b3b-8520-d71b60b18834 · outbound

This paper cites Mir, Evaldas Latoškinas, Sebastian Proksch, and Georgios Gousios.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Mir, Evaldas Latoškinas, Sebastian Proksch, and Georgios Gousios

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.873165Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76f1ba48-41c6-4ba0-919c-481c22b252d7 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:02.941844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 511aeba2-14a0-4efa-a299-adad7773c465 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-01T12:09:00.446748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a3724d16-59b6-4868-88ae-bab055aeb0a3 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.066393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe5ddc32-af0e-4831-9323-5f51548c7c2f · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.121926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 954cb6e6-a456-4550-9dc9-8b38bf502bf9 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.184384Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b53f2e9-06b6-4f85-b413-126db4ba3aa5 · outbound

This paper cites Pierce and David N.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Pierce and David N

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.215758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a69a88c-c4e7-4070-adff-49c605f0162e · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.247218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 418a753d-03dd-412a-a197-542c05e66c94 · outbound

This paper cites 1998.Type Inference in the Presence of Subtyping: From Theory to Practice.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages 1998.Type Inference in the Presence of Subtyping: From Theory to Practice

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.291520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adc57f3e-8a8a-4539-927e-8a23d2887f8f · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.334083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51ee7475-848d-430b-ba82-b9d3a2adc73c · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-01T12:09:00.151510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation f633ae02-6d53-493d-8287-3b094c5a46e1 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.397503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e18be6ef-8d38-4c01-aa72-db40c170af6b · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.455242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e8f77ba-71f1-4b15-b888-6af612568b96 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.464178Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 529044ab-38ed-49aa-becf-7b51ab1aa7be · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.495499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9c8acff-1c77-4e55-bb50-64b4235cba37 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.526996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62e2685c-7541-49eb-ac8e-3168e6e5d944 · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 43

Resolution: malformed identifier; no resolver link, observed 2026-08-01T12:06:03.559449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bfc88f3c-72c2-45d0-b6d9-53d02ec7886c · outbound

This paper cites Mir, Li Li, and Eric Bodden.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Mir, Li Li, and Eric Bodden

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.591265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb25bfdb-1b38-4438-a086-cf6fdd9a2844 · outbound

This paper cites Siek and Walid Taha.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Siek and Walid Taha

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.624575Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1e37e38-7dd5-4b14-850d-d99d281273bb · outbound

This paper cites an unresolved cited work.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.640655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b5855da-3b2e-4e3e-b56b-89e976911893 · outbound

This paper cites Efficient Guided Generation for Large Language Models.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages Efficient Guided Generation for Large Language Models

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T12:06:03.697558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 63025983-268b-487c-b3bd-a84db1820867 · outbound

This paper cites VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions.

Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-08-01T12:08:59.776112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Pith citing papers

Observation 2053b89f-f1a4-49a6-a8a4-670c0015044f · inbound

VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions cites this paper.

VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-01T14:18:38.272438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.