Paper Citation Record · LEDGER

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version)

As of 12 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2606.27138.

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

pith.paper-citation-record.v1
2606.27138 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T01:27:49.161030Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+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

22 of 22 outbound references displayed

verified exact14
verified fuzzy0
unresolved5
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d8991bf0-ed27-4575-aa06-911acd8819df · outbound

This paper cites Pierce, and Li-yao Xia.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Pierce, and Li-yao Xia

Reference 1

Resolution: metadata mismatch; arxiv_id, observed 2026-06-26T01:28:50.421910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7049a23e-a61c-430b-88f4-e5275e7a956d · outbound

This paper cites InProceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA ’98), Vancouver, British Columbia, Canada, October 18-22,.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) InProceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA ’98), Vancouver, British Columbia, Canada, October 18-22,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3e02a3d-e90b-478b-b1f5-bc09addc3e1e · outbound

This paper cites doi:10.1145/286936.286957 Karl Crary, Stephanie Weirich, and J.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) doi:10.1145/286936.286957 Karl Crary, Stephanie Weirich, and J

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.410133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d498be38-226f-43b4-8308-2e1950fbd34d · outbound

This paper cites InProceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP ’98), Baltimore, Maryland, USA, September 27-29, 1998.ACM, 301–312.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) InProceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP ’98), Baltimore, Maryland, USA, September 27-29, 1998.ACM, 301–312

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.395464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0c1c42c0-3bca-4e7e-b381-3bd6b6ac5697 · outbound

This paper cites ACM Program.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) ACM Program

Reference 5

Resolution: verified exact; doi, observed 2026-06-26T01:28:50.389446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8e0efa65-2c15-4ff6-b42d-ddb56a4b8d61 · outbound

This paper cites ACM Program.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) ACM Program

Reference 6

Resolution: verified exact; doi, observed 2026-06-26T01:28:50.426259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a95351db-25d9-4ee5-969c-c7aecd6b44a0 · outbound

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

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) InProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86dd10d2-ed9c-4eaf-9370-024f698b500a · outbound

This paper cites In: Castagna, G., Gordon, A.D.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) In: Castagna, G., Gordon, A.D

Reference 8

Resolution: metadata mismatch; doi, observed 2026-06-26T01:28:50.421241Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a2017d0c-8662-4ece-a2fa-6d5788ee2eb2 · outbound

This paper cites doi:10.1145/199448.199475 Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) doi:10.1145/199448.199475 Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall

Reference 9

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.418905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5cc0cdad-a96a-43e3-b6b9-54deb4de0615 · outbound

This paper cites an unresolved cited work.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-06-26T01:28:50.394894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e641d72b-f2b8-4abc-ab6c-dde9b332f96a · outbound

This paper cites Pierce, and Philip Wadler.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Pierce, and Philip Wadler

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.412878Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e8c8d2e0-aeba-4401-b1e8-1da5bb0ed320 · outbound

This paper cites Rustbelt: securing the foundations of the rust programming language.Proc.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Rustbelt: securing the foundations of the rust programming language.Proc

Reference 12

Resolution: verified exact; doi, observed 2026-06-26T01:28:50.406418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 5118e529-02ad-4baf-9625-0d715cfe7280 · outbound

This paper cites In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22,.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) In Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6967e2f2-a892-4a38-a1f6-53b863d4b739 · outbound

This paper cites doi:10.1145/378795.378797 Xavier Leroy.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) doi:10.1145/378795.378797 Xavier Leroy

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.415793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation edb4e268-c52e-40cd-90d2-16db0e22630e · outbound

This paper cites doi:10.1145/143165.143205 Mario Macías.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) doi:10.1145/143165.143205 Mario Macías

Reference 15

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.413149Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation adaf81eb-a623-488c-929a-49458d671a43 · outbound

This paper cites InProceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, David Grove and Stephen M.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) InProceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, David Grove and Stephen M

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.419220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 47d95a46-5b33-439f-a4ef-56b5d850ac8d · outbound

This paper cites an unresolved cited work.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-06-26T01:28:50.426627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 82864a18-b66c-47d4-8783-0970a4f654f1 · outbound

This paper cites https://blog.rust-lang.org/2015/05/11/traits.html Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall Mirko Viroli and Antonio Natali.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) https://blog.rust-lang.org/2015/05/11/traits.html Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, and Keith Randall Mirko Viroli and Antonio Natali

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 735f2714-623b-4d6f-8a5c-679c5cf59cc4 · outbound

This paper cites an unresolved cited work.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) Unresolved cited work

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.424658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ee62c60f-8c92-4f07-8d3a-73a8296cc604 · outbound

This paper cites In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16,.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af9c8dd8-d910-4e95-be7b-834b9e82461a · outbound

This paper cites doi:10.1145/964001.964005 7 Examples 7.1 Desugared version of Fig.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) doi:10.1145/964001.964005 7 Examples 7.1 Desugared version of Fig

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-06-26T01:28:50.424101Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fd064813-2ee2-4240-b884-f731b32de848 · outbound

This paper cites methods(𝑆)=methods(𝑇 ′)andtypes(𝑆)=types(𝑇 ′)therefore 𝑇< : 𝑆and so𝑇≺:𝑆.

Welterweight Go: Boxing, Structural Subtyping, and Generics (Extended Version) methods(𝑆)=methods(𝑇 ′)andtypes(𝑆)=types(𝑇 ′)therefore 𝑇< : 𝑆and so𝑇≺:𝑆

Reference 22

Resolution: malformed identifier; no resolver link, observed 2026-06-26T01:27:49.161030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.