Paper Citation Record · LEDGER

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs

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

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

pith.paper-citation-record.v1
2607.27074 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-30T11:58:56.864541Z

measured 42 of 42 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

42 of 42 outbound references displayed

verified exact11
verified fuzzy0
unresolved27
parse uncertain0
malformed identifier4
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3abbefb7-6756-4ba0-9077-6b8d3710f81a · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-07-30T11:58:56.740725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 609ff632-dbe1-4e37-8eab-fd14e131b337 · outbound

This paper cites SimplyRaTT:afitch-stylemodalcalculus forreactiveprogrammingwithoutspaceleaks.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs SimplyRaTT:afitch-stylemodalcalculus forreactiveprogrammingwithoutspaceleaks

Reference 2

Resolution: verified exact; doi, observed 2026-07-30T12:01:35.067030Z

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 8f685fc5-0fff-4638-8b6a-b3afcb97719e · outbound

This paper cites Graphicaluserinterface(GUI)testing:Systematic mapping and repository.Information and Software Technology 55, 10 (Oct.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Graphicaluserinterface(GUI)testing:Systematic mapping and repository.Information and Software Technology 55, 10 (Oct

Reference 3

Resolution: verified exact; doi, observed 2026-07-30T12:01:35.056390Z

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 42b57827-1cbe-424a-97fd-330a0b265702 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.752723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08213057-9af4-4ef3-82ff-465c59a1045d · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-07-30T11:58:56.756107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 061214aa-4552-4948-8496-6054f62cd0dc · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.758914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ccae075-1cdf-4b73-a7df-dc8232afbc5b · outbound

This paper cites Cooper and Shriram Krishnamurthi.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Cooper and Shriram Krishnamurthi

Reference 7

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.992533Z

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 79f67079-8378-4e36-8f9d-efcda8084ac9 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.899843Z

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 f66be221-bb44-45e2-a97f-9c34b17737ff · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.767682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58a40f20-65c2-4636-b083-4181d1c755b1 · outbound

This paper cites Parallelcomplexityanalysiswithtemporalsessiontypes.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Parallelcomplexityanalysiswithtemporalsessiontypes

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.770268Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a1313f7-15e2-41f9-b21a-a8c32400e76d · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 11

Resolution: malformed identifier; no resolver link, observed 2026-07-30T11:58:56.773166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ab1a91a-85a9-497f-bc12-11cd76d73196 · outbound

This paper cites Denning and Peter J.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Denning and Peter J

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.775751Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66115d2b-b0a7-43cd-9e48-5ff3118c38fd · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.778949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49bc851f-25a3-4813-8261-a07f733e584e · outbound

This paper cites Ottenstein, and Joe D.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Ottenstein, and Joe D

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.781688Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b316c81d-fd93-41bd-a1f6-9174eddc7391 · outbound

This paper cites Model-View-Update-Communicate: Session Types meet the Elm Architecture.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Model-View-Update-Communicate: Session Types meet the Elm Architecture

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-07-30T12:01:34.882743Z

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 8a649b7c-86ef-46f6-bbce-56242ccab2c8 · outbound

This paper cites Event-DrivenMultipartySessionActors.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Event-DrivenMultipartySessionActors

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.786953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a73cd09a-f1a0-433d-abde-610789d441cc · outbound

This paper cites Ghica and Alex I.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Ghica and Alex I

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.790016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55a2dc41-ed06-488f-85f3-1fa040b381c9 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.858327Z

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 390d1cbe-a343-495e-93cc-536c09cab7bc · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.795962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d6d74c8-f4e9-45cd-8921-7395643e40c8 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.847165Z

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 a8b72241-7c4c-4a4c-b087-5941fd322f82 · outbound

This paper cites ThesynchronousdataflowprogramminglanguageLUSTRE.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs ThesynchronousdataflowprogramminglanguageLUSTRE

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.801896Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67c6785c-b4e8-4f10-865b-fde1b5837d44 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.804413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff0e6065-cbdc-4bb3-84bc-8e5bb6616e68 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.806834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4767200e-141c-4ca5-9f3c-50ccc3d9b237 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.809109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f7ac16c-b441-4576-b86f-4e4fe03a25a4 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.811760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 842942da-970b-4b52-be9d-9811c2ce9315 · outbound

This paper cites Krishnaswami and Nick Benton.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Krishnaswami and Nick Benton

Reference 26

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.829848Z

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 3b2b02df-3a51-4187-8443-32bc89fdae5a · outbound

This paper cites React-tRace: A Semantics for Understanding React Hooks.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs React-tRace: A Semantics for Understanding React Hooks

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.817931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1a3f0bf-017f-4ed3-b7c1-d528060d5b62 · outbound

This paper cites Do be do be do.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Do be do be do

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-07-30T12:01:34.818495Z

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 4bb39130-811e-4f71-9f34-8a614f04af88 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 29

Resolution: malformed identifier; no resolver link, observed 2026-07-30T11:58:56.825076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a1dcd43-6d35-433e-9621-bc1da676965a · outbound

This paper cites Interaction between Surface Waves on Wire Lines.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Interaction between Surface Waves on Wire Lines

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.828912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e74d3235-3449-46e0-a3b7-1fd0ebf79a17 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.831605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21302434-9be4-46ac-ae4e-dec449ad4d41 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.834010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65dfe0b9-aea5-4845-80b3-f8982d8a5ec0 · outbound

This paper cites Cooper,Michael Greenberg,Aleks Bromfield,andShriram Krishnamurthi.2009.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Cooper,Michael Greenberg,Aleks Bromfield,andShriram Krishnamurthi.2009

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.836839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11eb8451-aa42-4836-981d-9e291271a19f · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 34

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.794871Z

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 ef181521-7df7-4294-bd5b-858def5adab1 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.842628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a3863ca-e950-44f5-9c43-25f9c8353c75 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.846244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 415b25cc-638d-4744-a90b-f5049f3b7bf0 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-07-30T12:01:34.773443Z

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 6c0639d5-e4f9-4fcd-9231-31e2a07808c8 · outbound

This paper cites Sum frequency generation spectroscopy of the attachment disc of a spider.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Sum frequency generation spectroscopy of the attachment disc of a spider

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.852739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fef43f8-b46a-4fae-b676-56350b496edd · outbound

This paper cites TemporalVerificationwithAnswer-EffectModification:DependentTemporal Type-and-Effect System with Delimited Continuations.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs TemporalVerificationwithAnswer-EffectModification:DependentTemporal Type-and-Effect System with Delimited Continuations

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.856224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fce55ab4-cd5a-4e46-ab75-ec9e7c3074ec · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.859331Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bede5965-d2bd-49b5-a2e1-503ecebe93e8 · outbound

This paper cites an unresolved cited work.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.861719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38d02ccc-05b6-409f-adb2-d143949e05b0 · outbound

This paper cites causes” The “causes.

A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs causes” The “causes

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-30T11:58:56.864541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.