Paper Citation Record · LEDGER

Manifest Contracts with Intersection Types

As of 17 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:1908.03010.

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

pith.paper-citation-record.v1
1908.03010 v2

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T14:37:31.351146Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

33 of 33 outbound references displayed

verified exact0
verified fuzzy24
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8648e711-519e-4eac-88f6-b1f3f1884ca0 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.779659Z

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 163d1aae-bc78-4aed-a2ba-1083ee7dba81 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.767468Z

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 8fbb9e0e-601a-4e62-93a3-39e19f609dd8 · outbound

This paper cites PACMPL 1(ICFP), 41:1–41:28 (2017) Manifest Contracts with Intersection Types 19.

Manifest Contracts with Intersection Types PACMPL 1(ICFP), 41:1–41:28 (2017) Manifest Contracts with Intersection Types 19

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.755706Z

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 2d827ba1-40c2-47e9-854d-b5c77920baec · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.743612Z

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 e89e0d60-3f27-4bc9-a494-b78a63d53497 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.732441Z

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 8abf0217-d4c2-4d74-9e47-bf06d28e1877 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.720580Z

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 e1ac650b-6305-4965-b3fa-c0916b144f7c · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.708863Z

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 551ebe73-3210-41ca-aea1-71a7b14e4aeb · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.697423Z

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 9174335a-d857-4c71-9cec-88db76a11e12 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.685282Z

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 671cf7e4-185e-4618-aa89-3f11eb1d3d5b · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.672159Z

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 4c127126-3a8a-40e8-83f5-1f0d9bd7bfc9 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.660012Z

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 4694b0de-ab1d-4ec5-a286-192e586bd2af · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.648921Z

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 ef339172-102a-4ca8-9ba9-4ecca1e1f347 · outbound

This paper cites In: Scheme and Functional Programming Workshop.

Manifest Contracts with Intersection Types In: Scheme and Functional Programming Workshop

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.635621Z

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 7a25172e-a9ca-468a-9b6c-cb04ddb3f889 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.623437Z

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 d3db09b7-20f5-4b0b-ab3c-33cf7afb4bde · outbound

This paper cites ACM Trans.

Manifest Contracts with Intersection Types ACM Trans

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.611502Z

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 352c4051-d55f-4e99-8120-9e2494e53a2c · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.599618Z

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 224d8db2-290d-40b9-a6f6-c8b58e0b6585 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.587449Z

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 776ba4d5-78a8-48cf-8a43-eb31fa0b8c1e · outbound

This paper cites Prentice-Hall (1997).

Manifest Contracts with Intersection Types Prentice-Hall (1997)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.575544Z

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 c7b4140d-13cd-4b27-aeb3-30e11f62334e · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.564130Z

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 a5daf3bd-30ff-43a2-b22b-723d9d59d336 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.552264Z

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 d9ff2a0f-736b-460a-ad09-a9b477e6bad3 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.540064Z

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 449f5282-7572-4466-a0c3-b5ac8e8b1b83 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.528076Z

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 066e8724-5395-454c-8f58-5f4f574f49ea · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.516244Z

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 b14de8d9-6b22-45dc-aec8-0f25dc7d43c1 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.504492Z

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 661c0992-ee89-4a91-b193-08ba63938496 · outbound

This paper cites ACM Trans.

Manifest Contracts with Intersection Types ACM Trans

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.492343Z

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 2b06a792-0d2d-41e8-a805-a957fff2eec3 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.479134Z

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 f94b47d5-0579-42ec-a223-f935db1708db · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.465955Z

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 38eb44a1-b4dd-47e8-ab27-de8a909a648c · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.452915Z

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 c473bcf1-ef34-44dc-817b-1f6c28031bcd · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.437838Z

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 92432c09-fa76-4013-bd02-6dcb72e3a049 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.425212Z

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 41edf1a9-d6d9-44c3-af5c-16ece6f293ea · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.412316Z

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 fc42f052-0f69-43d1-ae49-b828ba3f3cb3 · outbound

This paper cites an unresolved cited work.

Manifest Contracts with Intersection Types Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-14T14:37:31.399682Z

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 fd35c7d8-4594-466b-bfa1-2018c8d69da8 · outbound

This paper cites In: Proc.

Manifest Contracts with Intersection Types In: Proc

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T14:37:31.386505Z

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.

Pith citing papers

No inbound Pith citation observations are available.