Paper Citation Record · LEDGER

Bidirectional Typing

As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.05839.

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

pith.paper-citation-record.v1
1908.05839 v2

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:08:04.944089Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

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

35 of 35 outbound references displayed

verified exact6
verified fuzzy16
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4aaffa82-0f5b-486e-8141-f5b7da61c4d4 · outbound

This paper cites Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University.

Bidirectional Typing Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.664506Z

Source-reported events for the cited work

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

Observation 487765b5-fd58-44ba-b73c-f53e04669e67 · outbound

This paper cites Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University.

Bidirectional Typing Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.640476Z

Source-reported events for the cited work

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

Observation defc5ce7-7ffc-4fa1-a987-5bbf01dd3476 · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-14T13:08:04.881963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cd2b9fb-2d42-4897-9a0b-be4e10689ee1 · outbound

This paper cites In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 , Giuseppe Castagna and Andrew D.

Bidirectional Typing In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 , Giuseppe Castagna and Andrew D

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.585895Z

Source-reported events for the cited work

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

Observation cafb750e-4d1b-4fc9-9a61-28898abdd598 · outbound

This paper cites Robert J.

Bidirectional Typing Robert J

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.553432Z

Source-reported events for the cited work

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

Observation 273ec81f-0826-440b-9a95-a3f5b48338bd · outbound

This paper cites ACM Trans.

Bidirectional Typing ACM Trans

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.541742Z

Source-reported events for the cited work

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

Observation ee955089-47a1-4ef6-abd8-e6db8fa6734a · outbound

This paper cites In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’18).

Bidirectional Typing In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’18)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-14T13:08:04.940497Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c33996b-7a14-4d72-a8e0-9dd7d49b8307 · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 35

Resolution: verified exact; doi, observed 2026-08-14T13:08:04.984702Z

Source-reported events for the cited work

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

Observation df6db490-59c9-4bfb-ade0-61a955f8b45a · outbound

This paper cites https://doi.

Bidirectional Typing https://doi

Reference 242

Resolution: verified exact; doi, observed 2026-08-14T13:08:05.022230Z

Source-reported events for the cited work

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

Observation 9b27103b-7e89-428d-860c-a4cdf2a09bdb · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 1969

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.800373Z

Source-reported events for the cited work

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

Observation fcbefb56-9b5f-403c-aab8-bcf8c416f3b0 · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 1978

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.720978Z

Source-reported events for the cited work

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

Observation 805bb86e-af4f-4fa7-812d-db9cbb433368 · outbound

This paper cites Journal of Symbolic Logic 48, 4 (1983), 931–940.

Bidirectional Typing Journal of Symbolic Logic 48, 4 (1983), 931–940

Reference 1983

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.867896Z

Source-reported events for the cited work

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

Observation 91b71ba5-1c82-42b8-9660-189ecdee149c · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 1985

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.787508Z

Source-reported events for the cited work

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

Observation f5b1508c-8399-49fa-962a-d7c183993c21 · outbound

This paper cites Theoretical Computer Science 44, 0 (1986), 51–68.

Bidirectional Typing Theoretical Computer Science 44, 0 (1986), 51–68

Reference 1986

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.748787Z

Source-reported events for the cited work

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

Observation 62e0ac74-51ae-4ef0-8917-6acfcbe12ee2 · outbound

This paper cites Technical Report CMU-CS-88-159.

Bidirectional Typing Technical Report CMU-CS-88-159

Reference 1988

Resolution: verified exact; raw_fallback, observed 2026-08-14T13:08:05.339957Z

Source-reported events for the cited work

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

Observation d5629a3a-c295-440c-931a-ebb12b26ab69 · outbound

This paper cites ACM Trans.

Bidirectional Typing ACM Trans

Reference 1994

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.735403Z

Source-reported events for the cited work

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

Observation c8e5cc71-7ca7-4fc0-994a-f5c4d00025f6 · outbound

This paper cites Science of Computer Programming 26, 1–3 (1996), 167–177.

Bidirectional Typing Science of Computer Programming 26, 1–3 (1996), 167–177

Reference 1996

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.842729Z

Source-reported events for the cited work

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

Observation af5ab5a0-9f14-4171-8490-e42440ef7c90 · outbound

This paper cites ACM Trans.

Bidirectional Typing ACM Trans

Reference 1998

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.768242Z

Source-reported events for the cited work

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

Observation 9788ad9e-ffdf-4ebc-8a8f-6fdbcc304c16 · outbound

This paper cites ACM Trans.

Bidirectional Typing ACM Trans

Reference 2000

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.611913Z

Source-reported events for the cited work

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

Observation 01738948-70cd-499d-a705-6e3fc27eb1dc · outbound

This paper cites Mathematical Structures in Computer Science 11, 4 (2001), 511–540.

Bidirectional Typing Mathematical Structures in Computer Science 11, 4 (2001), 511–540

Reference 2001

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.626093Z

Source-reported events for the cited work

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

Observation 852b7627-4e91-4806-9b7b-7fda419f42dd · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 2003

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.854007Z

Source-reported events for the cited work

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

Observation 240d283b-6bb9-4480-9f04-ec889d94a745 · outbound

This paper cites Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University.

Bidirectional Typing Lecture notes for 15–317: Constructive Logic, Carnegie Mellon University

Reference 2004

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.679193Z

Source-reported events for the cited work

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

Observation 8684b046-2a95-4fa8-b91e-b7a379b06e56 · outbound

This paper cites In Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP ’06).

Bidirectional Typing In Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming (ICFP ’06)

Reference 2006

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T13:08:05.187034Z

Source-reported events for the cited work

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

Observation 3abc60af-d126-4c65-bd9d-c47ba9048de3 · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 2007

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.693411Z

Source-reported events for the cited work

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

Observation 4ca6f917-a14e-4f03-8131-45785f5a9462 · outbound

This paper cites ACM Trans.

Bidirectional Typing ACM Trans

Reference 2008

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.709179Z

Source-reported events for the cited work

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

Observation b8b2b744-fd03-41ba-b7df-29267605e7a3 · outbound

This paper cites In Proceedings of the 36th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL ’09).

Bidirectional Typing In Proceedings of the 36th Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages (POPL ’09)

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-14T13:08:04.818323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc0ffd96-b4bf-41fd-a4d0-bcf96c5249d5 · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 2011

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.526984Z

Source-reported events for the cited work

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

Observation 97f004a2-ad89-4bfe-ab92-ea883026b3ff · outbound

This paper cites Logical Methods in Computer Science 8 (2012).

Bidirectional Typing Logical Methods in Computer Science 8 (2012)

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.567807Z

Source-reported events for the cited work

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

Observation 8f9855d7-cb95-49f9-950b-cc5413c5d0ab · outbound

This paper cites Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.

Bidirectional Typing Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

Reference 2013

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:08:05.482458Z

Source-reported events for the cited work

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

Observation 18243a9c-466e-4b01-a3f9-1089c4054fea · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 2014

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:08:05.831455Z

Source-reported events for the cited work

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

Observation 7a01194c-8da7-475a-b6d4-6a89430356fd · outbound

This paper cites Elaborating Evaluation-Order Polymorphism.

Bidirectional Typing Elaborating Evaluation-Order Polymorphism

Reference 2015

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:08:05.511168Z

Source-reported events for the cited work

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

Observation e8222d82-cb33-4a3a-a11e-33e3bfd6a4b6 · outbound

This paper cites Electronic Notes in Theoretical Computer Science 332 (2017), 149–168.

Bidirectional Typing Electronic Notes in Theoretical Computer Science 332 (2017), 149–168

Reference 2017

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:08:05.813736Z

Source-reported events for the cited work

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

Observation aab61819-fd8c-4876-b06d-4ab5a403e184 · outbound

This paper cites https://doi.org/10.1145/3192366.3192389 Wilfried Sieg and John Byrnes.

Bidirectional Typing https://doi.org/10.1145/3192366.3192389 Wilfried Sieg and John Byrnes

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-14T13:08:04.915610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a03f0d99-c66d-4df2-81aa-33e40e854720 · outbound

This paper cites Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types.

Bidirectional Typing Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types

Reference 2019

Resolution: verified exact; local_arxiv, observed 2026-08-14T13:08:05.451163Z

Source-reported events for the cited work

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

Observation f022cd13-947c-48ef-84a3-ffde5995118b · outbound

This paper cites an unresolved cited work.

Bidirectional Typing Unresolved cited work

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-14T13:08:04.906465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.