Paper Citation Record · LEDGER

Custom Representations of Inductive Families

As of 8 August 2026, this Paper Citation Record lists 37 of 37 outbound references and 0 inbound Pith citation observations for arXiv:2505.21225.

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

pith.paper-citation-record.v1
2505.21225 v2

Coverage vector

measured 37 of 37 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T13:45:34.126331Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

37 of 37 outbound references displayed

verified exact4
verified fuzzy9
unresolved18
parse uncertain0
malformed identifier2
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4c2ebc5a-fa27-45f7-884d-5252914695ec · outbound

This paper cites In: Automata, Languages and Programming, pp.

Custom Representations of Inductive Families In: Automata, Languages and Programming, pp

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T13:45:34.685982Z

Source-reported events for the cited work

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

Observation fca4a73c-31c5-4137-9408-d6feb90e266f · outbound

This paper cites thesis, https://www2.tcs.ifi.lmu.de/~abel/talkHabil2013.pdf Custom Representations of Inductive Families 23.

Custom Representations of Inductive Families thesis, https://www2.tcs.ifi.lmu.de/~abel/talkHabil2013.pdf Custom Representations of Inductive Families 23

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:39.593526Z

Source-reported events for the cited work

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

Observation 79aa99d1-2f98-45cf-8b54-3ce66c6ac8c9 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:39.414104Z

Source-reported events for the cited work

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

Observation c76af61b-61c1-4afb-b8ff-bcb55956463e · outbound

This paper cites In: Programming Lan- guages and Systems.

Custom Representations of Inductive Families In: Programming Lan- guages and Systems

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T13:45:34.557210Z

Source-reported events for the cited work

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

Observation 8f8a99a3-bac6-43d9-9ccc-2d9d591a8dda · outbound

This paper cites Seamless, Correct, and Generic Programming over Serialised Data.

Custom Representations of Inductive Families Seamless, Correct, and Generic Programming over Serialised Data

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T13:45:36.301976Z

Source-reported events for the cited work

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

Observation 470e3bb5-f8bb-4436-a74a-0f0127a8c513 · outbound

This paper cites Frex: dependently-typed algebraic simplification.

Custom Representations of Inductive Families Frex: dependently-typed algebraic simplification

Reference 6

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T13:45:34.406356Z

Source-reported events for the cited work

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

Observation 1d512d10-b17d-4127-a286-de81f94b82b0 · outbound

This paper cites In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

Custom Representations of Inductive Families In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:32.108684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be0383ad-16ce-4d1a-b146-c1918db12ab2 · outbound

This paper cites In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science.

Custom Representations of Inductive Families In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:39.268133Z

Source-reported events for the cited work

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

Observation 122b10d8-ddf5-48eb-ac71-2f61a179550e · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:39.148113Z

Source-reported events for the cited work

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

Observation 38b58976-a3d4-4966-ac98-79886ff6463c · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:32.404981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f04b71e-c4b9-4de1-82cc-175e4ecbfbba · outbound

This paper cites In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Pro- grams and Proofs.

Custom Representations of Inductive Families In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Pro- grams and Proofs

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:32.462849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4faa1703-9918-449d-918b-5ef5cafc6a1e · outbound

This paper cites In:TypesforProofsandPrograms.pp.115–129.SpringerBerlinHeidelberg(2004), http://dx.doi.org/10.1007/978-3-540-24849-1_8.

Custom Representations of Inductive Families In:TypesforProofsandPrograms.pp.115–129.SpringerBerlinHeidelberg(2004), http://dx.doi.org/10.1007/978-3-540-24849-1_8

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T13:45:34.263967Z

Source-reported events for the cited work

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

Observation 15caacec-b73b-44e8-a0d4-cd828ad247c8 · outbound

This paper cites Categories with Families: Unityped, Simply Typed, and Dependently Typed.

Custom Representations of Inductive Families Categories with Families: Unityped, Simply Typed, and Dependently Typed

Reference 13

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T13:45:35.426183Z

Source-reported events for the cited work

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

Observation 50267dee-2129-407e-8c4c-1591df2c943f · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:38.986327Z

Source-reported events for the cited work

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

Observation 909ba942-af6c-4dfb-8c6e-36ec9c9abd14 · outbound

This paper cites In: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Custom Representations of Inductive Families In: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T13:45:35.281989Z

Source-reported events for the cited work

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

Observation b1780a7a-7fd1-4b1a-aecd-3fe7ed6ae272 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 16

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:45:38.831379Z

Source-reported events for the cited work

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

Observation ce888efc-5ae4-47ac-b0a0-843b676f2d80 · outbound

This paper cites In: Algebra, Meaning, and Computation, pp.

Custom Representations of Inductive Families In: Algebra, Meaning, and Computation, pp

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:38.649538Z

Source-reported events for the cited work

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

Observation f55bc599-0d2c-497e-842c-e0a975da6791 · outbound

This paper cites In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science.

Custom Representations of Inductive Families In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:32.947336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c7c4e78-9f09-418b-aff1-0695c0cf5d93 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 19

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T13:45:38.497938Z

Source-reported events for the cited work

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

Observation ef133b0f-8a42-4572-9393-67818713163f · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:38.338143Z

Source-reported events for the cited work

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

Observation ba84fbd3-bf99-4525-91fb-96b22d00979f · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:38.086292Z

Source-reported events for the cited work

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

Observation a34129f1-2238-4963-b4d4-d9832a341653 · outbound

This paper cites In: Lecture Notes in Computer Science, pp.

Custom Representations of Inductive Families In: Lecture Notes in Computer Science, pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:37.762184Z

Source-reported events for the cited work

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

Observation b5d14bfd-0df0-47b9-90c2-4d1b4e651755 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:37.620279Z

Source-reported events for the cited work

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

Observation 10f2ddad-a3ff-49f9-9d18-9b44aaa92998 · outbound

This paper cites In: Programming Languages and Systems.

Custom Representations of Inductive Families In: Programming Languages and Systems

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:33.325469Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54996daf-bee4-4bf4-a90d-b4e6a26c34b2 · outbound

This paper cites In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages.

Custom Representations of Inductive Families In: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Reference 25

Resolution: verified exact; raw_fallback, observed 2026-08-07T13:45:34.991382Z

Source-reported events for the cited work

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

Observation 469f34d2-66ba-4d1b-aaf0-7d3f5b4a0dd4 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:33.450810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca938d6f-fa30-4583-9c07-0001abb5fd90 · outbound

This paper cites https://wiki.portal.chalmers.se/agda/pmwiki.php, accessed: 2024-5-3.

Custom Representations of Inductive Families https://wiki.portal.chalmers.se/agda/pmwiki.php, accessed: 2024-5-3

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:37.507027Z

Source-reported events for the cited work

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

Observation 69df94ef-4704-4ebf-94ed-3819b7f088fe · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:37.382314Z

Source-reported events for the cited work

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

Observation c212fc97-d829-4cc6-a260-3592eac19494 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:37.278496Z

Source-reported events for the cited work

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

Observation e1e5ab4f-fbf6-485c-b952-65ebd018d9cd · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:37.176392Z

Source-reported events for the cited work

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

Observation 8357331b-2d17-4347-aa6e-3e9b02e564c9 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:37.043417Z

Source-reported events for the cited work

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

Observation 820898a6-6f4f-446a-93c4-af3929423535 · outbound

This paper cites https://agda.github.io/ agda2hs/, accessed: 2025-2-19.

Custom Representations of Inductive Families https://agda.github.io/ agda2hs/, accessed: 2025-2-19

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:36.937076Z

Source-reported events for the cited work

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

Observation 75f18bac-a540-48d5-b1d5-f1e5dfa1a106 · outbound

This paper cites Issue #7701.https: //github.com/idris-lang/Idris2/pull/3486, accessed: 2025-2-19 Custom Representations of Inductive Families 25.

Custom Representations of Inductive Families Issue #7701.https: //github.com/idris-lang/Idris2/pull/3486, accessed: 2025-2-19 Custom Representations of Inductive Families 25

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:36.800052Z

Source-reported events for the cited work

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

Observation d65ba74d-f4d1-4bec-bec7-70571bdcc5c3 · outbound

This paper cites https://coq.inria.fr/doc/ v8.13/refman/addendum/extraction.html, accessed: 2025-2-19.

Custom Representations of Inductive Families https://coq.inria.fr/doc/ v8.13/refman/addendum/extraction.html, accessed: 2025-2-19

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:36.653849Z

Source-reported events for the cited work

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

Observation ed6785e6-bb7b-4808-99e3-07d0a63c9c9d · outbound

This paper cites https://idris2.readthedocs.io/en/ latest/reference/pragmas.html#transform, accessed: 2025-2-19.

Custom Representations of Inductive Families https://idris2.readthedocs.io/en/ latest/reference/pragmas.html#transform, accessed: 2025-2-19

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T13:45:36.523070Z

Source-reported events for the cited work

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

Observation 751dc569-e98c-4d4b-ad78-91dd9bb0f065 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-07T13:45:36.402311Z

Source-reported events for the cited work

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

Observation 1d66c60c-e45d-4c8f-8ca8-93427851e219 · outbound

This paper cites an unresolved cited work.

Custom Representations of Inductive Families Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-07T13:45:32.261783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.