Paper Citation Record · LEDGER

Undecidability of $D_{<:}$ and Its Decidable Fragments

As of 16 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:1908.05294.

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

pith.paper-citation-record.v1
1908.05294 v1

Coverage vector

measured 21 of 21 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:24:24.344368Z

measured 21 of 21 standing notices

One-hop event checks from named stored sources.

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

21 of 21 outbound references displayed

verified exact5
verified fuzzy4
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 480b4a83-5a98-4917-80e3-99830fd92bb6 · outbound

This paper cites an unresolved cited work.

Undecidability of $D_{<:}$ and Its Decidable Fragments Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:24:25.121631Z

Source-reported events for the cited work

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

Observation cbbd549d-3167-44ef-9496-c68948c6aac8 · outbound

This paper cites SIGPLAN Not.

Undecidability of $D_{<:}$ and Its Decidable Fragments SIGPLAN Not

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.309082Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75df702b-142c-4399-957f-841a8f06cbff · outbound

This paper cites https://doi.org/10.1145/3009837.3009871 Andrew J.

Undecidability of $D_{<:}$ and Its Decidable Fragments https://doi.org/10.1145/3009837.3009871 Andrew J

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.313001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e92fcbe2-d559-414c-bce5-a6bfe5b8fd1b · outbound

This paper cites https://doi.org/10.1145/3136000.3136003 Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger.

Undecidability of $D_{<:}$ and Its Decidable Fragments https://doi.org/10.1145/3136000.3136003 Martin Odersky, Vincent Cremet, Christine Röckl, and Matthias Zenger

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:24:24.700819Z

Source-reported events for the cited work

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

Observation 5b7fd629-5d61-4f44-bae6-5bc42bd9998c · outbound

This paper cites an unresolved cited work.

Undecidability of $D_{<:}$ and Its Decidable Fragments Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-14T13:24:24.398271Z

Source-reported events for the cited work

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

Observation e7f6101a-b4b1-4d99-8d8a-fff33740e962 · outbound

This paper cites In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016).

Undecidability of $D_{<:}$ and Its Decidable Fragments In Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.334077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 687acd53-e8ea-46c0-929b-b20537a9ff57 · outbound

This paper cites https://doi.org/10.5281/zenodo.1219885 Stefan Wehr and Peter Thiemann.

Undecidability of $D_{<:}$ and Its Decidable Fragments https://doi.org/10.5281/zenodo.1219885 Stefan Wehr and Peter Thiemann

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T13:24:24.386514Z

Source-reported events for the cited work

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

Observation 103bff90-135d-418f-9266-0b090f429988 · outbound

This paper cites an unresolved cited work.

Undecidability of $D_{<:}$ and Its Decidable Fragments Unresolved cited work

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.294541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2386a048-e53d-4679-88d1-c549053f0534 · outbound

This paper cites an unresolved cited work.

Undecidability of $D_{<:}$ and Its Decidable Fragments Unresolved cited work

Reference 141

Resolution: verified exact; raw_fallback, observed 2026-08-14T13:24:24.628732Z

Source-reported events for the cited work

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

Observation fa67a756-5ebe-4366-b89a-c99aba9ef0e8 · outbound

This paper cites Barendregt.

Undecidability of $D_{<:}$ and Its Decidable Fragments Barendregt

Reference 309

Resolution: verified exact; doi, observed 2026-08-14T13:24:24.409920Z

Source-reported events for the cited work

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

Observation 6cb626b3-93ab-4785-b518-8a2f89bdd69a · outbound

This paper cites ACM Comput.

Undecidability of $D_{<:}$ and Its Decidable Fragments ACM Comput

Reference 1985

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.297954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c92a867-5ca2-4b11-87ae-d441de65abe4 · outbound

This paper cites In Proceedings of the 19th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (P OPL ’92).

Undecidability of $D_{<:}$ and Its Decidable Fragments In Proceedings of the 19th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (P OPL ’92)

Reference 1992

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:24:24.558822Z

Source-reported events for the cited work

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

Observation 3360e4ba-937d-4db4-934f-14b38308b1c2 · outbound

This paper cites Information and Computation 109, 1 (1994), 4 –.

Undecidability of $D_{<:}$ and Its Decidable Fragments Information and Computation 109, 1 (1994), 4 –

Reference 1994

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:24:25.145541Z

Source-reported events for the cited work

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

Observation 79382f1d-a0e7-4690-82f2-70bcd744a74b · outbound

This paper cites Intuitionistic and Class ical Logic.

Undecidability of $D_{<:}$ and Its Decidable Fragments Intuitionistic and Class ical Logic

Reference 2000

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:24:25.133712Z

Source-reported events for the cited work

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

Observation 4898f46a-0c87-4109-a4f9-6ae782b47e0e · outbound

This paper cites Theoretical Computer Science 266, 1 (2001), 273 –.

Undecidability of $D_{<:}$ and Its Decidable Fragments Theoretical Computer Science 266, 1 (2001), 273 –

Reference 2001

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:24:25.157276Z

Source-reported events for the cited work

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

Observation c5b496e3-bd50-454a-b2c2-2ec36e632601 · outbound

This paper cites In Proceedings of the 7th Asian Symposium on Programming Languages and Syst ems (APLAS ’09).

Undecidability of $D_{<:}$ and Its Decidable Fragments In Proceedings of the 7th Asian Symposium on Programming Languages and Syst ems (APLAS ’09)

Reference 2009

Resolution: verified exact; doi, observed 2026-08-14T13:24:24.375483Z

Source-reported events for the cited work

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

Observation d0048ed3-9196-487e-8581-700c23377edf · outbound

This paper cites In Proceedings of the 2014 ACM International Conference on Object Oriented Programming S ystems Languages & Applications (OOPSLA ’14).

Undecidability of $D_{<:}$ and Its Decidable Fragments In Proceedings of the 2014 ACM International Conference on Object Oriented Programming S ystems Languages & Applications (OOPSLA ’14)

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.279797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0078d769-b8a6-4123-9b41-fe92010ed894 · outbound

This paper cites Springer International Publishing, Cham, 249–272.

Undecidability of $D_{<:}$ and Its Decidable Fragments Springer International Publishing, Cham, 249–272

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-14T13:24:24.272025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e94782c5-39b2-4ef0-8f4f-24014e3c8a4a · outbound

This paper cites In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017.

Undecidability of $D_{<:}$ and Its Decidable Fragments In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:24:25.169875Z

Source-reported events for the cited work

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

Observation c251a3b6-da23-4ff7-98a8-bfb3c082a066 · outbound

This paper cites Verification of PCP-Related Computational Reductions in Coq.

Undecidability of $D_{<:}$ and Its Decidable Fragments Verification of PCP-Related Computational Reductions in Coq

Reference 2018

Resolution: metadata mismatch; local_arxiv, observed 2026-08-14T13:24:24.923664Z

Source-reported events for the cited work

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

Observation 78ea8cda-e9ba-4f35-b2f1-1495c643ace7 · outbound

This paper cites https://doi.org/10.1145/3293880.3294096 Yannick Forster and Gert Smolka.

Undecidability of $D_{<:}$ and Its Decidable Fragments https://doi.org/10.1145/3293880.3294096 Yannick Forster and Gert Smolka

Reference 2019

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:24:24.906963Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.