Paper Citation Record · LEDGER

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 4 inbound Pith citation observations for arXiv:2601.17957.

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

pith.paper-citation-record.v1
2601.17957 v5

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T08:20:28.292304Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:44:30.568567Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-05-12T00:31:17.100028Z

Reference resolution

43 of 43 outbound references displayed

verified exact0
verified fuzzy0
unresolved43
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f9d3bfe4-f7b8-419a-af66-e78fce173f55 · outbound

This paper cites Baker and Carl Hewitt.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Baker and Carl Hewitt

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.176918Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6417b4e6-e1cc-40c6-a29e-be89074d0a0a · outbound

This paper cites Manifest sharing with session types.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Manifest sharing with session types

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.325105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d90bde2-ec9a-4745-b25e-0fc7832e7da3 · outbound

This paper cites Statically contextu- alizing large language models with typed holes.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Statically contextu- alizing large language models with typed holes

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.490877Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19ddac30-db2d-469f-8ca6-fa244e9aebd3 · outbound

This paper cites Manning Publications, 2017.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Manning Publications, 2017

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.673633Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41ca6742-ce8d-48f5-9616-97f84a987f87 · outbound

This paper cites On understanding types, data abstraction, and polymorphism.Computing Surveys, 17(4):471–523, 1985.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) On understanding types, data abstraction, and polymorphism.Computing Surveys, 17(4):471–523, 1985

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.802400Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c8bfe3c-3e1d-4b99-8902-3b91a940205c · outbound

This paper cites Colf logic programming as infinitary proof exploration.arXiv preprint arXiv:2510.12302, 2025.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Colf logic programming as infinitary proof exploration.arXiv preprint arXiv:2510.12302, 2025

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:23.903796Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f98a2afa-629d-41a5-add4-6afdfc8b7bee · outbound

This paper cites Parlog: parallel programming in logic.ACM Transactions on Programming Languages and Systems (TOPLAS), 8(1):1–49, 1986.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Parlog: parallel programming in logic.ACM Transactions on Programming Languages and Systems (TOPLAS), 8(1):1–49, 1986

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.002223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c57c4fd5-e00e-4ba6-b1b1-f54cbbf1d25c · outbound

This paper cites an unresolved cited work.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.113250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7f73ed7-8efb-4988-b22f-cee42d7a9151 · outbound

This paper cites Understanding spec-driven-development: Kiro, spec-kit, and tessl.MartinFowler.com, October 2025.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Understanding spec-driven-development: Kiro, spec-kit, and tessl.MartinFowler.com, October 2025

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.216745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e96c80df-a95b-4cc2-babd-fc9cfa871678 · outbound

This paper cites Friedman and David S.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Friedman and David S

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.333745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17259cb6-a3d6-4378-b3c7-a1e61d177067 · outbound

This paper cites Vardi, and Eyal Yardeni.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Vardi, and Eyal Yardeni

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.405536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e077c3ab-72d4-4400-9ecf-c2c986daa36a · outbound

This paper cites Fully abstract compositional semantics for logic programs.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Fully abstract compositional semantics for logic programs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.517465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bfef20c-1c70-4f79-bfd9-9fbcedae79c4 · outbound

This paper cites Subtyping for session types in the pi calculus.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Subtyping for session types in the pi calculus

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.594319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9a6085-041a-4b64-9fc7-352fb20af3e8 · outbound

This paper cites Linear logic.Theoretical Computer Science, 50(1):1–101, 1987.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Linear logic.Theoretical Computer Science, 50(1):1–101, 1987

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.760778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6383b719-18a8-4d28-8128-6b758520e722 · outbound

This paper cites Dart programming language.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Dart programming language

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.869174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b2ebdff-f7a2-424e-9061-6a2a24862f6b · outbound

This paper cites Types for dyadic interaction.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Types for dyadic interaction

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:24.942950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16d786e0-09dc-46f4-a6ad-b58d8029e10a · outbound

This paper cites an unresolved cited work.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.017811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0f643ae-f612-43fd-a2a2-d3009491d2ae · outbound

This paper cites Interaction nets.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Interaction nets

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.124972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f390c2ae-5f85-483c-98e8-1f1164040422 · outbound

This paper cites The semantics of the read-only variable.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) The semantics of the read-only variable

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.274793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2e2a18c-0838-4917-9059-4037db91968a · outbound

This paper cites Prentice Hall, 2nd edition,.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Prentice Hall, 2nd edition,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.357436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5497497-9d84-4384-9884-5e4758f4a3cf · outbound

This paper cites Mierowsky, S.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Mierowsky, S

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.731758Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d5258de-0dc1-46b7-a5d9-6f55ba7c08da · outbound

This paper cites Cambridge University Press, 1999.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Cambridge University Press, 1999

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.821650Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de1d6f1e-319d-434e-8fdb-4a8f9ced886f · outbound

This paper cites Towards a theory of types in prolog.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Towards a theory of types in prolog

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.870335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbb43af9-5433-4df9-8213-fb4b4c966efe · outbound

This paper cites Type-constrained code generation with language models.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Type-constrained code generation with language models

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.992534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1ea1bf9-fe24-4ce6-83a6-dffdc05cbb2c · outbound

This paper cites an unresolved cited work.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.277414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 477ba343-5f1f-40e0-913e-c6537386f53b · outbound

This paper cites Pierce.Types and Programming Languages.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Pierce.Types and Programming Languages

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.365169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7f8c177-3943-4712-8b03-63ecc4bf258b · outbound

This paper cites Saraswat, Kenneth M.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Saraswat, Kenneth M

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.441012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c29b734-eeb9-4f44-8947-3855221667d6 · outbound

This paper cites A subset of concurrent prolog and its interpreter.ICOT Technical Report, TR-003, 1983.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) A subset of concurrent prolog and its interpreter.ICOT Technical Report, TR-003, 1983

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.535162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a547098-8574-426d-aa1f-80b53c0eb6e5 · outbound

This paper cites The family of concurrent logic programming languages.ACM Computing Surveys (CSUR), 21(3):413–510, 1989.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) The family of concurrent logic programming languages.ACM Computing Surveys (CSUR), 21(3):413–510, 1989

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.657583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1841542b-b435-4dbd-b3d1-b6a6be29bd64 · outbound

This paper cites Grassroots distributed systems: Concept, examples, implementa- tion and applications (brief announcement).

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Grassroots distributed systems: Concept, examples, implementa- tion and applications (brief announcement)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.797684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b68b0bde-d7ea-43bc-a0a4-fa2a6b8573d3 · outbound

This paper cites GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version).

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI (Full Version)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.934228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 966ffbcc-bf50-4e28-b02b-b0c83b5e837d · outbound

This paper cites Grassroots platforms with atomic transactions: Social graphs, cryptocurrencies, and democratic federations.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Grassroots platforms with atomic transactions: Social graphs, cryptocurrencies, and democratic federations

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.085913Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb57a35d-27c5-405a-acb3-955ca2e253e4 · outbound

This paper cites The execution algo- rithm of mercury: An efficient purely declarative logic programming language.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) The execution algo- rithm of mercury: An efficient purely declarative logic programming language

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.222115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 77109d42-5505-4367-8349-a9a8099dd980 · outbound

This paper cites The deevolution of concurrent logic programming languages.The Journal of Logic Programming, 23(2):89–123, 1995.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) The deevolution of concurrent logic programming languages.The Journal of Logic Programming, 23(2):89–123, 1995

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.339807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 75a92efd-f463-4012-b4b1-f51b2df1604f · outbound

This paper cites Guarded horn clauses.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Guarded horn clauses

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.460964Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebd00caa-b28f-4ed3-a07a-ba35beed0d08 · outbound

This paper cites Moded flat ghc and its message-oriented implementation tech- nique.New Generation Computing, 12(4):337–368, 1994.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Moded flat ghc and its message-oriented implementation tech- nique.New Generation Computing, 12(4):337–368, 1994

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.592933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4f9ffc2-d111-423b-b652-2a9d2aea86e6 · outbound

This paper cites Resource-passing concurrent programming.Proceedings of TACS 2001, pages 95–126, 2001.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Resource-passing concurrent programming.Proceedings of TACS 2001, pages 95–126, 2001

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.755273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 839f4b42-513f-4c29-9a20-27c2f2a0cbca · outbound

This paper cites I/o mode analysis in concurrent logic pro- gramming.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) I/o mode analysis in concurrent logic pro- gramming

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:27.954601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94205bd2-7f20-498b-a171-8c5ac9f099f6 · outbound

This paper cites Propositions as sessions.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Propositions as sessions

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:28.082463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f30c3d8-7269-423a-a5e2-0f9669b78147 · outbound

This paper cites Polymorphically typed logic pro- grams.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Polymorphically typed logic pro- grams

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:28.213059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eff40640-b0d1-4202-962f-c3b8b267e6cc · outbound

This paper cites "/2 1: X 2: Xs 2: Ys 3:.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) "/2 1: X 2: Xs 2: Ys 3:

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:28.292304Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8968b44-2733-4790-ba56-d2b2195be3cb · outbound

This paper cites an unresolved cited work.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Unresolved cited work

Reference 1997

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:25.478073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aee4d875-277e-47e0-be83-ee1c503ea13c · outbound

This paper cites Type-Constrained Code Generation with Language Models.

Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version) Type-Constrained Code Generation with Language Models

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-03T08:20:26.189626Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 4385c418-8188-4b2d-8f21-1e4f34b48f76 · inbound

Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines cites this paper.

Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-06-09T02:06:11.750177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation deb17ea5-ca02-47ce-97b1-e427ed92dd02 · inbound

Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines cites this paper.

Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-12T18:11:17.044928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9450165-1260-4f55-9116-3e4ff360cd50 · inbound

Volition Elicitation: Operational Semantics for People and Their Machines cites this paper.

Volition Elicitation: Operational Semantics for People and Their Machines Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T07:44:30.568567Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebe2d940-3a09-4f4a-aa62-76f83667cee2 · inbound

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI cites this paper.

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI Moded Types for Grassroots Logic Programs, by AI, for AI (Full Version)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T08:19:39.261599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.