Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:53:01.331002Z
Paper Citation Record · LEDGER
Space-Efficient Gradual Typing in Coercion-Passing Style
As of 16 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:1908.02414.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
26 of 26 outbound references displayed
- verified exact0
- verified fuzzy4
- unresolved19
- parse uncertain1
- malformed identifier2
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 2d3dde07-dc08-4957-8c27-841dadd4b1b0 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 1
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-14T14:53:02.608447Z
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 a6dce639-b88d-408c-a1ae-37c4fce58c12 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.575541Z
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 58ac28aa-8bd7-4d53-9290-ded52e7610bb · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.470206Z
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 7c123b89-54c5-480a-9a96-05fdcfd85a34 · outbound
This paper cites Similar.
Space-Efficient Gradual Typing in Coercion-Passing Style Similar
Reference 5
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T14:53:02.112491Z
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 8ea9d3c9-7cc2-4f09-9f73-c249c4d54224 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.387253Z
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 ce46c735-5af8-4752-b551-485665051f8f · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.353132Z
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 d005983d-5c65-43a0-9e13-582a02f4c504 · outbound
This paper cites ▶ Theorem 5 (Progress).
Space-Efficient Gradual Typing in Coercion-Passing Style ▶ Theorem 5 (Progress)
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:53:02.319267Z
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 6e47a26f-95a6-4351-b601-435a41ba5466 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.515459Z
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 7241e10c-7686-4706-a2ae-26441ad17013 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 11
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T14:53:02.284239Z
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 a5604cdf-fdea-49ab-a537-c244bac90c9f · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.425918Z
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 07825b5c-0cf5-49a9-87a2-7d15d41602b9 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.233834Z
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 de6424d6-54b6-41e0-b19b-c28809efa2d5 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.195288Z
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 8a871a84-08e7-48fc-a0a2-f13bfbe434bb · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:02.149317Z
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 bb9718a7-86e3-405a-b8fa-e7dc33eba504 · outbound
This paper cites E[N11] = (op(□, N2))[E1[N11]] = (op(□, N2))[N1] = op(N1, N2) E[N′ 11] = op(N′ 1, N2) By (E-Ctx) withE = (op(□, N2))[E1], we haveop(N1, N2)↦−→op(N′ 1, N2).
Space-Efficient Gradual Typing in Coercion-Passing Style E[N11] = (op(□, N2))[E1[N11]] = (op(□, N2))[N1] = op(N1, N2) E[N′ 11] = op(N′ 1, N2) By (E-Ctx) withE = (op(□, N2))[E1], we haveop(N1, N2)↦−→op(N′ 1, N2)
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:53:02.047056Z
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 890152ac-0464-4183-b43a-b155fc4aabc9 · outbound
This paper cites Then, (T-Let) and (T-App) finish this case.
Space-Efficient Gradual Typing in Coercion-Passing Style Then, (T-Let) and (T-App) finish this case
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:53:01.973884Z
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 2a1bf5e7-e9d0-497a-b028-fcad602116c5 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.935145Z
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 bd5af314-e9cd-4647-8f86-74765fa42f2a · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.904381Z
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 dba81480-da72-48f9-8215-05ea05aa01cb · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.864354Z
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 93112e32-bb99-4677-b14c-2bc53f154be1 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.820200Z
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 f53cd76f-f3aa-4061-8235-87702ccaa150 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.785489Z
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 5e2ba975-b2f3-48c6-882f-371163282295 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.725877Z
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 780b6466-24b9-441d-95d3-6481e083b1a8 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.674432Z
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 7dd4fdf0-f005-4f9a-a759-1858eb6d9d33 · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.624122Z
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 43b0c512-a9c3-498d-bea9-03f8a29f6c3a · outbound
This paper cites an unresolved cited work.
Space-Efficient Gradual Typing in Coercion-Passing Style Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:53:01.586387Z
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 f2e382fe-8345-4f2c-8ddf-2d7224edc960 · outbound
This paper cites M e S // C J_K N C J_K C JM K e S1 // c ∗ S1 // C JN K M c S // C J_K N C J_K C JM K c + S1 // C JN K Proof.
Space-Efficient Gradual Typing in Coercion-Passing Style M e S // C J_K N C J_K C JM K e S1 // c ∗ S1 // C JN K M c S // C J_K N C J_K C JM K c + S1 // C JN K Proof
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:53:01.541048Z
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 3eb5c4ec-78d7-4872-8cf4-f0619a78b590 · outbound
This paper cites 38 Jeremy G.
Space-Efficient Gradual Typing in Coercion-Passing Style 38 Jeremy G
Reference 2015
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:53:01.039977Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.