Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:08:04.944089Z
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.
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
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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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.