Paper Citation Record · LEDGER

Pantograph: A Fluid and Typed Structure Editor

As of 13 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2411.16571.

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

pith.paper-citation-record.v1
2411.16571 v2

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T13:09:18.786651Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

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

34 of 34 outbound references displayed

verified exact4
verified fuzzy6
unresolved19
parse uncertain0
malformed identifier2
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1f7e3e88-ab98-4f28-adc9-b81423374e44 · outbound

This paper cites 1⟨𝑑′ 1⟩⟩,𝑑2 =𝑐[𝑑′ 2], and𝑑3 =𝑐[𝑑′ 3] •( +⟨𝑐.

Pantograph: A Fluid and Typed Structure Editor 1⟨𝑑′ 1⟩⟩,𝑑2 =𝑐[𝑑′ 2], and𝑑3 =𝑐[𝑑′ 3] •( +⟨𝑐

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.353276Z

Source-reported events for the cited work

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

Observation 88e1d80e-7eee-40c8-a911-0599ec53a0ed · outbound

This paper cites IEEE Transactions on Software Engineering 38, 1 (Jan.

Pantograph: A Fluid and Typed Structure Editor IEEE Transactions on Software Engineering 38, 1 (Jan

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.679831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5edd4edf-64e5-42af-8258-5d5380ef2597 · outbound

This paper cites IEEE Software 38, 04 (jul 2021), 22–27.

Pantograph: A Fluid and Typed Structure Editor IEEE Software 38, 04 (jul 2021), 22–27

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.683997Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69b6f24d-f153-4200-a9a9-dd7746774fda · outbound

This paper cites (01 2010).

Pantograph: A Fluid and Typed Structure Editor (01 2010)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.422116Z

Source-reported events for the cited work

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

Observation 3c7475f0-adf4-4cea-814e-70304fe9f2f8 · outbound

This paper cites an unresolved cited work.

Pantograph: A Fluid and Typed Structure Editor Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.721073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ffdbc1-3540-4e51-b105-8f74c15c6c26 · outbound

This paper cites Springer Berlin Heidelberg, 1–16.

Pantograph: A Fluid and Typed Structure Editor Springer Berlin Heidelberg, 1–16

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-12T13:09:18.736360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5202e3ba-53e7-4cca-a05e-9f09c9e19f7a · outbound

This paper cites an unresolved cited work.

Pantograph: A Fluid and Typed Structure Editor Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.786651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8352026-850d-4530-936a-f1791f51838b · outbound

This paper cites Proceedings of the ACM on Programming Languages 2, POPL (Dec.

Pantograph: A Fluid and Typed Structure Editor Proceedings of the ACM on Programming Languages 2, POPL (Dec

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T13:09:18.833250Z

Source-reported events for the cited work

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

Observation 1a77b7ae-8069-4a10-bfa6-5a20dc17aa4b · outbound

This paper cites Proceedings of the ACM on Programming Languages 8, POPL (Jan.

Pantograph: A Fluid and Typed Structure Editor Proceedings of the ACM on Programming Languages 8, POPL (Jan

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.767943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dc8a41b-623d-4437-8b01-945bb30940c2 · outbound

This paper cites We construct an ordering over the set of all of the diff boundaries within the program.

Pantograph: A Fluid and Typed Structure Editor We construct an ordering over the set of all of the diff boundaries within the program

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.378964Z

Source-reported events for the cited work

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

Observation a274281e-1f17-4d4d-8a24-0ccc065b3ad8 · outbound

This paper cites In this state, again, either boundary can be stepped next.

Pantograph: A Fluid and Typed Structure Editor In this state, again, either boundary can be stepped next

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.365632Z

Source-reported events for the cited work

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

Observation e6394f6a-60e3-4619-bca6-5ca9333e90d5 · outbound

This paper cites Equivalence.

Pantograph: A Fluid and Typed Structure Editor Equivalence

Reference 1942

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.716697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22d97618-23db-4fdc-b7fa-7742e95542fc · outbound

This paper cites an unresolved cited work.

Pantograph: A Fluid and Typed Structure Editor Unresolved cited work

Reference 1960

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:09:19.790046Z

Source-reported events for the cited work

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

Observation 2a035c0b-8e87-414f-aa5e-fd96f5410590 · outbound

This paper cites Indagationes Mathematicae (Proceedings) 75, 5 (1972), 381–392.

Pantograph: A Fluid and Typed Structure Editor Indagationes Mathematicae (Proceedings) 75, 5 (1972), 381–392

Reference 1972

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.651713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4619601e-ee1a-4c67-9726-6d776ac37be8 · outbound

This paper cites an unresolved cited work.

Pantograph: A Fluid and Typed Structure Editor Unresolved cited work

Reference 1979

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.662314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfb77128-1926-414f-b401-c3e9b68e7072 · outbound

This paper cites In Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL ’86 (POPL ’86).

Pantograph: A Fluid and Typed Structure Editor In Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL ’86 (POPL ’86)

Reference 1986

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:09:19.144126Z

Source-reported events for the cited work

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

Observation bbc9e0c1-9865-46fe-a081-7a1a9756970d · outbound

This paper cites (03 1995).

Pantograph: A Fluid and Typed Structure Editor (03 1995)

Reference 1995

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.392261Z

Source-reported events for the cited work

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

Observation e5b03c16-2a8d-4042-b713-7a8e7a660dc8 · outbound

This paper cites an unresolved cited work.

Pantograph: A Fluid and Typed Structure Editor Unresolved cited work

Reference 1997

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.670979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1f5fe3-f731-434f-b4c2-1997add2e433 · outbound

This paper cites ACM Transactions on Software Engineering and Methodology 10, 1 (Jan.

Pantograph: A Fluid and Typed Structure Editor ACM Transactions on Software Engineering and Methodology 10, 1 (Jan

Reference 2001

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:09:19.276349Z

Source-reported events for the cited work

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

Observation bdfd8895-73a8-41d8-b14e-bb2bf69bf6e9 · outbound

This paper cites In HCI Models, Theories, and Frameworks , John M.

Pantograph: A Fluid and Typed Structure Editor In HCI Models, Theories, and Frameworks , John M

Reference 2003

Resolution: verified exact; doi, observed 2026-08-12T13:09:18.940379Z

Source-reported events for the cited work

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

Observation cef1e125-9c3f-4419-b20a-c4a362cf802e · outbound

This paper cites In CHI ’05 Extended Abstracts on Human Factors in Computing Systems (CHI05).

Pantograph: A Fluid and Typed Structure Editor In CHI ’05 Extended Abstracts on Human Factors in Computing Systems (CHI05)

Reference 2005

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.675800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c1ffe05-34bc-4f7a-9f9f-8bc623d7312a · outbound

This paper cites Qualita- tive Research in Psychology 3, 2 (2006), 77–101.

Pantograph: A Fluid and Typed Structure Editor Qualita- tive Research in Psychology 3, 2 (2006), 77–101

Reference 2006

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.641063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58fa7220-12d0-4efc-b708-cbad92b02b08 · outbound

This paper cites ACM Trans.

Pantograph: A Fluid and Typed Structure Editor ACM Trans

Reference 2010

Resolution: malformed identifier; no resolver link, observed 2026-08-12T13:09:18.687875Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c27862ae-5ebf-4fa1-bddf-cb76ec74b793 · outbound

This paper cites Yours is better!.

Pantograph: A Fluid and Typed Structure Editor Yours is better!

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.656837Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d05d05df-0356-4148-a1cf-ed0ee4843629 · outbound

This paper cites Springer Berlin Heidelberg, Berlin, Heidelberg, 383–430.

Pantograph: A Fluid and Typed Structure Editor Springer Berlin Heidelberg, Berlin, Heidelberg, 383–430

Reference 2013

Resolution: verified exact; doi, observed 2026-08-12T13:09:18.849413Z

Source-reported events for the cited work

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

Observation 418a6e0e-734c-43c3-95c0-f39aa9af4b47 · outbound

This paper cites Schloss Dagstuhl – Leibniz-Zentrum für Informatik.

Pantograph: A Fluid and Typed Structure Editor Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.742229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 403fcb0c-4be1-46e7-a499-fdda7f28fc11 · outbound

This paper cites In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (Seattle, WA, USA) (FSE 2016).

Pantograph: A Fluid and Typed Structure Editor In Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (Seattle, WA, USA) (FSE 2016)

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.626170Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dded90fb-8ba5-4648-9700-7820ea09538c · outbound

This paper cites In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Paris, France) (POPL ’17).

Pantograph: A Fluid and Typed Structure Editor In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Paris, France) (POPL ’17)

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.724844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4fa735b-dc1f-4f21-a58e-d78586fe942a · outbound

This paper cites Qualitative Re- search in Sport, Exercise and Health 11, 4 (2019), 589–597.

Pantograph: A Fluid and Typed Structure Editor Qualitative Re- search in Sport, Exercise and Health 11, 4 (2019), 589–597

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.646855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ff4735d-455c-4ff6-8baf-a679d66aae98 · outbound

This paper cites ACM Comput.

Pantograph: A Fluid and Typed Structure Editor ACM Comput

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.666190Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acb00241-426f-4190-8c3c-ce3ad9157c3f · outbound

This paper cites In Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development (Ljubljana, Slovenia) (TyDe 2022).

Pantograph: A Fluid and Typed Structure Editor In Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development (Ljubljana, Slovenia) (TyDe 2022)

Reference 2022

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:20.407334Z

Source-reported events for the cited work

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

Observation c4d0d869-9765-4294-9f75-01caa91f0ea7 · outbound

This paper cites In 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Pantograph: A Fluid and Typed Structure Editor In 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.712241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 45e58d4f-b2df-49ae-afc1-6d9ba896836d · outbound

This paper cites https://doi.org/10.5281/zenodo.14199877 Virginia Braun and Victoria Clarke.

Pantograph: A Fluid and Typed Structure Editor https://doi.org/10.5281/zenodo.14199877 Virginia Braun and Victoria Clarke

Reference 2024

Resolution: verified exact; doi, observed 2026-08-12T13:09:18.927188Z

Source-reported events for the cited work

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

Observation e68b98ff-0e79-4828-a830-29e995c1f397 · outbound

This paper cites https://doi.org/10.1145/3546196.3550164 David Moon, Andrew Blinn, and Cyrus Omar.

Pantograph: A Fluid and Typed Structure Editor https://doi.org/10.1145/3546196.3550164 David Moon, Andrew Blinn, and Cyrus Omar

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:18.707392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.