Paper Citation Record · LEDGER

Potential Functions as Types

As of 23 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2607.08547.

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

pith.paper-citation-record.v1
2607.08547 v2

Coverage vector

measured 46 of 46 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T06:35:40.030219Z

measured 46 of 46 standing notices

One-hop event checks from named stored sources.

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

46 of 46 outbound references displayed

verified exact0
verified fuzzy0
unresolved40
parse uncertain0
malformed identifier6
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1dc71b3a-2cac-4852-a6da-d427a62adc91 · outbound

This paper cites InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Bart Jacobs and Christof Löding (Eds.).

Potential Functions as Types InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Bart Jacobs and Christof Löding (Eds.)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dd9777a9-1075-4a26-82f4-5175f8a512c8 · outbound

This paper cites https://doi.org/10.2168/LMCS-7(2:17)2011 Robert Atkey.

Potential Functions as Types https://doi.org/10.2168/LMCS-7(2:17)2011 Robert Atkey

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd79efef-818c-4a60-a812-4882f55102ec · outbound

This paper cites InProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’14).

Potential Functions as Types InProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’14)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef69316e-8201-4319-9d9e-19b883de55bc · outbound

This paper cites InComputer Science Logic (Lecture Notes in Computer Science), Leszek Pacholski and Jerzy Tiuryn (Eds.).

Potential Functions as Types InComputer Science Logic (Lecture Notes in Computer Science), Leszek Pacholski and Jerzy Tiuryn (Eds.)

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e79ed0d-3c73-40cd-8490-511630f034da · outbound

This paper cites an unresolved cited work.

Potential Functions as Types Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1673f1f-d709-4b13-a460-62963a82dfeb · outbound

This paper cites Proceedings of the ACM on Programming Languages4, ICFP (Aug.

Potential Functions as Types Proceedings of the ACM on Programming Languages4, ICFP (Aug

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5dcbb2eb-4745-4fa9-ba0b-e7a911fdf5e0 · outbound

This paper cites ACM SIGPLAN Notices43, 1 (Jan.

Potential Functions as Types ACM SIGPLAN Notices43, 1 (Jan

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7992e05c-17e5-44f1-935f-668cbb371836 · outbound

This paper cites In2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Potential Functions as Types In2021 IEEE 34th Computer Security Foundations Symposium (CSF)

Reference 8

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0995f8a6-f373-47ff-b09b-2bd0c34ca735 · outbound

This paper cites InComputer Science Logic (Lecture Notes in Computer Science), Erich Grädel and Reinhard Kahle (Eds.).

Potential Functions as Types InComputer Science Logic (Lecture Notes in Computer Science), Erich Grädel and Reinhard Kahle (Eds.)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07bbcc21-04f0-4678-a8ae-83c7f83b3c21 · outbound

This paper cites https://doi.org/10.1093/logcom/exs025 Marco Grandis and Robert Paré.

Potential Functions as Types https://doi.org/10.1093/logcom/exs025 Marco Grandis and Robert Paré

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 14b254c7-5a07-44c3-861e-91f67270da20 · outbound

This paper cites https://www.numdam.org/item/?id=CTGDC_2004__45_3_193_0 David Gries.

Potential Functions as Types https://www.numdam.org/item/?id=CTGDC_2004__45_3_193_0 David Gries

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf7266a7-8eb1-4159-8b0d-e820777eaf2d · outbound

This paper cites an unresolved cited work.

Potential Functions as Types Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6241f4dd-dccc-4c3d-94bb-452e792280e4 · outbound

This paper cites 2026), 31:895–31:922.

Potential Functions as Types 2026), 31:895–31:922

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f418c74-09ea-4da2-8009-aaf285927bdf · outbound

This paper cites 2024), 10:273–10:301.

Potential Functions as Types 2024), 10:273–10:301

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 981ad08c-c18d-4f75-ba82-c59d9615711b · outbound

This paper cites In2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Potential Functions as Types In2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d996d25c-01f6-4a94-80e4-a5dd0c69ea75 · outbound

This paper cites In19th Annual Symposium on Foundations of Computer Science (Sfcs 1978).

Potential Functions as Types In19th Annual Symposium on Foundations of Computer Science (Sfcs 1978)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff595245-4ccd-4d21-ba2f-c469504b82ba · outbound

This paper cites 1972), 271–281.

Potential Functions as Types 1972), 271–281

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9f2fef-3506-44d0-a9a0-965df02290ea · outbound

This paper cites InProceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’11).

Potential Functions as Types InProceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’11)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03c7cdc6-538c-411c-80c5-c50db843f3e2 · outbound

This paper cites https://doi.org/10.1017/S0960129521000487 Martin Hofmann and Steffen Jost.

Potential Functions as Types https://doi.org/10.1017/S0960129521000487 Martin Hofmann and Steffen Jost

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f18acc3-e182-4f97-a804-f096fe0c7b64 · outbound

This paper cites 2003), 185–197.

Potential Functions as Types 2003), 185–197

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80d8732f-0ab7-4980-b60e-6d0d0979b8cf · outbound

This paper cites https: //doi.org/10.1017/S0960129521000232 Robert Hood and Robert Melville.

Potential Functions as Types https: //doi.org/10.1017/S0960129521000232 Robert Hood and Robert Melville

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3d77edd-1676-4a6a-89ca-e7e19128694e · outbound

This paper cites an unresolved cited work.

Potential Functions as Types Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afe047f5-0368-4d99-9a78-2578ca6fafe9 · outbound

This paper cites InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Jean Goubault-Larrecq and Barbara König (Eds.).

Potential Functions as Types InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science), Jean Goubault-Larrecq and Barbara König (Eds.)

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc9c8d55-c28f-4667-a31b-66da4344c960 · outbound

This paper cites https://doi.org/10.1145/2775051.2676969 Paul Blain Levy.

Potential Functions as Types https://doi.org/10.1145/2775051.2676969 Paul Blain Levy

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a0baee7-646f-49d8-8693-210f2c726102 · outbound

This paper cites Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability.

Potential Functions as Types Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6d08911-b9b4-44b7-9b65-734f92f64909 · outbound

This paper cites Persistent Amortised Analysis, Operationally.

Potential Functions as Types Persistent Amortised Analysis, Operationally

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a697cb09-9df4-43a2-8ef7-d8f7f8d30b18 · outbound

This paper cites 1992), 413–424.

Potential Functions as Types 1992), 413–424

Reference 27

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5928071-238a-4cca-92af-bc57940dd7ba · outbound

This paper cites InProgramming Languages and Systems, Luís Caires (Ed.).

Potential Functions as Types InProgramming Languages and Systems, Luís Caires (Ed.)

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d71a0316-e205-4fa2-bd4d-753923175aec · outbound

This paper cites https://doi.org/10.1007/s10817-018-9459-3 Yue Niu and Robert Harper.

Potential Functions as Types https://doi.org/10.1007/s10817-018-9459-3 Yue Niu and Robert Harper

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9040f342-8a54-40f7-aa42-2b43b3066861 · outbound

This paper cites A metalanguage for cost-aware denotational semantics.

Potential Functions as Types A metalanguage for cost-aware denotational semantics

Reference 30

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d357b11-5a72-4f17-af30-fd63d0657298 · outbound

This paper cites 2022), 9:1–9:31.

Potential Functions as Types 2022), 9:1–9:31

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8b28b03-c0c6-4aff-8a36-136f0ad14376 · outbound

This paper cites InProceedings of the 4th International Workshop on Types in Language Design and Implementation (TLDI ’09).

Potential Functions as Types InProceedings of the 4th International Workshop on Types in Language Design and Implementation (TLDI ’09)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 047f8220-0a30-49d6-8e6b-78caf5529e67 · outbound

This paper cites 2019), 58:1–58:28.

Potential Functions as Types 2019), 58:1–58:28

Reference 33

Resolution: malformed identifier; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fee11de6-3dbb-472d-8160-940a38ad844d · outbound

This paper cites 2025), 409:3811–409:3840.

Potential Functions as Types 2025), 409:3811–409:3840

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fdc77dfe-bddb-47bd-8deb-4d0ab4687e7e · outbound

This paper cites 2024), 50:1482–50:1508.

Potential Functions as Types 2024), 50:1482–50:1508

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07035065-23ad-4673-b3e8-9b2abd906fd2 · outbound

This paper cites ACM Program.

Potential Functions as Types ACM Program

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02235a57-9108-40b1-80bc-b2f3e92a105b · outbound

This paper cites 2021), 27:1–27:28.

Potential Functions as Types 2021), 27:1–27:28

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe0ab342-09fb-411d-b713-00a8b2897461 · outbound

This paper cites InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R.

Potential Functions as Types InInformation Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, R

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 667094f4-2e92-4a9b-a75a-6bdd4f6a8ad8 · outbound

This paper cites 2017), 147–224.

Potential Functions as Types 2017), 147–224

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5e144dc-29df-4321-87d4-092de7133e67 · outbound

This paper cites an unresolved cited work.

Potential Functions as Types Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77b40c2b-c97a-4f30-bb6b-6652643c2e9f · outbound

This paper cites an unresolved cited work.

Potential Functions as Types Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b82a0547-40b5-475c-a12f-60bd09186ef6 · outbound

This paper cites InCategory Seminar, Gregory M.

Potential Functions as Types InCategory Seminar, Gregory M

Reference 42

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67bc7398-99bb-4610-a796-01bcb8b3975e · outbound

This paper cites https://doi.org/10.1137/0606031 The Univalent Foundations Program.

Potential Functions as Types https://doi.org/10.1137/0606031 The Univalent Foundations Program

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f9e1bee-62c8-43fe-94cf-1b03236b272e · outbound

This paper cites In Proceedings of the 17th ACM SIGPLAN International Haskell Symposium (Haskell 2024).

Potential Functions as Types In Proceedings of the 17th ACM SIGPLAN International Haskell Symposium (Haskell 2024)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 28199527-eedc-4e6b-bf81-d457c59aa913 · outbound

This paper cites https://doi.org/10.1145/3341691 Han Xu and Di Wang.

Potential Functions as Types https://doi.org/10.1145/3341691 Han Xu and Di Wang

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b0db7de-c8e2-4afc-9e36-9843ab7635ca · outbound

This paper cites InProgramming Languages and Systems, Robbert Krebbers (Ed.).

Potential Functions as Types InProgramming Languages and Systems, Robbert Krebbers (Ed.)

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-13T06:35:40.030219Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.