Paper Citation Record · LEDGER

Grain Theory: Type-Level Granularity Correctness in Data Pipelines

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

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

pith.paper-citation-record.v1
2601.00995 v2

Coverage vector

measured 60 of 60 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T13:03:22.542996Z

measured 60 of 60 standing notices

One-hop event checks from named stored sources.

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

60 of 60 outbound references displayed

verified exact0
verified fuzzy0
unresolved60
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8c6a9f71-3d07-4adf-b3d0-e32e2f370e51 · outbound

This paper cites Chasm Trap problem in Data Warehouses.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Chasm Trap problem in Data Warehouses

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.130561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 709a0f67-908e-4449-b3b1-7ac30253120b · outbound

This paper cites 2 Common SQL Join Traps (with Test Queries).

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 2 Common SQL Join Traps (with Test Queries)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.279092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33bc314e-cbc4-4894-8b32-4719c15bf9ea · outbound

This paper cites Escaping SQL Traps with the Unified Star Schema.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Escaping SQL Traps with the Unified Star Schema

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.344641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9df3df8-5562-4099-b49c-060c9e7286bf · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.398552Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 994ffe7b-e42e-4b16-976f-f3bb4b1bed99 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.576444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b95cf310-9af8-421e-8e6a-7a2f781b5dbb · outbound

This paper cites Armstrong.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Armstrong

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.713426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 431beb32-3bde-48b1-9eb1-d295d5c2e5c6 · outbound

This paper cites Jiang, Jia Deng, Stella Biderman, and Sean Welleck.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Jiang, Jia Deng, Stella Biderman, and Sean Welleck

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.838063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 632fb802-63db-4a72-8fa9-2fc4c230b09c · outbound

This paper cites 2013.Idris, a general-purpose dependently typed programming language: Design and implementation.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 2013.Idris, a general-purpose dependently typed programming language: Design and implementation

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.016437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ee085d9-b473-4aae-986d-2cc44b192aa3 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.104595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce3dc335-4bc8-4075-b382-85cc17443009 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.199070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5c55b09-4c66-4a07-b114-addcc6257cd2 · outbound

This paper cites 2012.Data Matching: Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 2012.Data Matching: Concepts and Techniques for Record Linkage, Entity Resolution, and Duplicate Detection

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.250550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 204b7aa4-0cfc-4403-8355-2f044a7b6745 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.328945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adbbd1f9-fd62-4b9b-82ff-69fc9959cb0c · outbound

This paper cites Ilyas, and Paolo Papotti.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Ilyas, and Paolo Papotti

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.395761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23d78f27-faad-4437-966c-82292e353b89 · outbound

This paper cites Informal Data Transformation Considered Harmful.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Informal Data Transformation Considered Harmful

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.479732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5427be85-6b96-46de-bc12-d52bbb3b73b0 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.548533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df603a94-c4f5-4032-9192-7e923c1c9b8d · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.581601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9dc3822-2d13-4bd9-9e98-70b4476c71c2 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.623163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb3debca-7ab3-44a8-b067-04a6e141afe4 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.683030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b79f2d0-b8c6-4a83-b783-da42c358f855 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.740185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a80d2d0-99a9-48ce-9559-bbf02b3f4096 · outbound

This paper cites Elmagarmid, Panagiotis G.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Elmagarmid, Panagiotis G

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.827052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbe2fc42-34a7-467f-8239-0c0850b706a4 · outbound

This paper cites Kolaitis, Lucian Popa, and Wang-Chiew Tan.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Kolaitis, Lucian Popa, and Wang-Chiew Tan

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.886401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7431a698-b8f2-4724-8ac9-4251d29e3af3 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:18.961073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2261f64-ef02-4693-bfad-b40c4281f0d8 · outbound

This paper cites Rabe, Talia Ringer, and Yuriy Brun.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Rabe, Talia Ringer, and Yuriy Brun

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.022874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 464c91dc-8952-493d-a178-53fac61d115d · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.084698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 650e6a44-1812-47b8-b73d-a17d80dc6451 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.126282Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b91271ba-7122-4a56-816a-94c1de692b1a · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.233244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddfa8a6a-b2b0-4323-9ccf-31f340df87bb · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.337886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 66172fb9-e1a4-48f1-83eb-d410020ce63c · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.452375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78385522-0d57-4bca-a9b8-daf4027d8c36 · outbound

This paper cites 1996.The Data Warehouse Toolkit: Practical Techniques for Building Dimensional Data Warehouses.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 1996.The Data Warehouse Toolkit: Practical Techniques for Building Dimensional Data Warehouses

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.495241Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c6c39b9-714d-4827-803b-15118a9dda23 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.534481Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4632e8b1-01d2-4c09-bc9a-d03869be0045 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.588800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7166a0f-27da-45fb-9675-88ed9cddae6f · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.702750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa0f57bb-7629-4f8d-982d-44fda7951f27 · outbound

This paper cites 2004.Elements of Finite Model Theory.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 2004.Elements of Finite Model Theory

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.757969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21ce2684-bb90-42d0-889e-e4ee180b0e8b · outbound

This paper cites 1998.Categories for the Working Mathematician(2nd ed.).

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 1998.Categories for the Working Mathematician(2nd ed.)

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.837388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e15092ce-5035-4e11-94d5-d20e83e2f817 · outbound

This paper cites Bernstein, and Erhard Rahm.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Bernstein, and Erhard Rahm

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.982885Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 088fdd89-6ff5-4c04-a4ba-acee11075520 · outbound

This paper cites 1984.Intuitionistic Type Theory.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 1984.Intuitionistic Type Theory

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.152176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 885ab351-3cd6-4bc3-8744-09d674aa824c · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.332487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2084ca62-bdc7-4361-ab38-226eb51503f3 · outbound

This paper cites 2014.Programming in Scala: A Comprehensive Step-by-Step Guide.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines 2014.Programming in Scala: A Comprehensive Step-by-Step Guide

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.446430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e23de7-7cbd-4609-bb22-d6aa6b45f9ae · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.615413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c936d881-24b6-4ca6-b56f-f2fd09802bfc · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.911334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24428596-7702-4e1c-b7a7-d89b56302219 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.015364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f74df2db-3776-4b1a-a188-5dab3ce71c67 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.129453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4aba069-bc70-49e7-8900-454b6b56807a · outbound

This paper cites Bernstein.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Bernstein

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.279409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6699228b-4533-4bbd-bd3e-1ad31d0d0dab · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.416496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08c545da-5096-40d9-b4e7-f6725eef7db3 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.531900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 350e9813-ab6a-4c39-b6e8-edb96c754683 · outbound

This paper cites Algebraic Model Management: A Survey.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Algebraic Model Management: A Survey

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.672132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 953126d8-d628-4316-ab42-481f476e6661 · outbound

This paper cites Algebraic Data Integration.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Algebraic Data Integration

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.811352Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e062c627-3435-4e9d-944c-330764bda54f · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:21.902568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a379d04-d526-41de-8283-e559ff84f223 · outbound

This paper cites Siek and Walid Taha.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Siek and Walid Taha

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.009174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ba85302-0ceb-43e3-a4ed-84a0dda472c0 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.095596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc83d64a-4216-4ca4-8de0-e6e2cbb1cb23 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.161001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 436adc3c-de7e-4e49-bb28-2eba3866db71 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.222363Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07442a31-b228-4c4d-81bd-33a57ee0f6c9 · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.289924Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf025fee-779a-48f9-be3b-8b69b9adf74e · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.374874Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 09d577b9-e7a0-459c-89f7-8e34971c2e6a · outbound

This paper cites an unresolved cited work.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.456710Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7619f6cd-3f18-4f83-8b7c-9397ebd10a1e · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:22.542996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abea9738-3a4d-499a-8ef3-4e6fedba8be9 · outbound

This paper cites InJournal of Functional Programming, Vol.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines InJournal of Functional Programming, Vol

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:20.792538Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88168f60-b45d-462b-a1b1-6017eade9441 · outbound

This paper cites InProceedings of the 2017 ACM SIGMOD Interna- tional Conference on Management of Data.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines InProceedings of the 2017 ACM SIGMOD Interna- tional Conference on Management of Data

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.449424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4740889c-c469-415d-bdaf-cb2435cdc11c · outbound

This paper cites InProceedings of the 2018 International Conference on Management of Data.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines InProceedings of the 2018 International Conference on Management of Data

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:19.396855Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8f5f34d-3130-4fda-b531-6bdaa08ddacb · outbound

This paper cites Llemma: An Open Language Model For Mathematics.

Grain Theory: Type-Level Granularity Correctness in Data Pipelines Llemma: An Open Language Model For Mathematics

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-03T13:03:17.939767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.