Paper Citation Record · LEDGER

Spegion: Implicit and Non-Lexical Regions with Sized Allocations

As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2506.02182.

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

pith.paper-citation-record.v1
2506.02182 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T11:34:12.458359Z

measured 31 of 31 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 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

31 of 31 outbound references displayed

verified exact3
verified fuzzy3
unresolved12
parse uncertain0
malformed identifier0
metadata mismatch13

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 704e5fbe-8687-42d0-987a-477d0cb745fe · outbound

This paper cites Better static memory management: improving region-based analysis of higher-order languages.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Better static memory management: improving region-based analysis of higher-order languages

Reference 1

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:17.723943Z

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 0c645e66-4c15-4df0-b760-241d1d2bbb9a · outbound

This paper cites an unresolved cited work.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-07T11:34:18.640563Z

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 07f5674f-5781-4069-bce6-825a97a76e64 · outbound

This paper cites Barrett, Aaron Stump, and Cesare Tinelli.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Barrett, Aaron Stump, and Cesare Tinelli

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:34:18.441944Z

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 1c91812e-8151-43c9-a0db-22b6224707da · outbound

This paper cites From region inference to von neumann machines via region representation inference.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations From region inference to von neumann machines via region representation inference

Reference 4

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:17.456503Z

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 02fb187e-159c-491f-a6b9-7bd4f494cf97 · outbound

This paper cites Typing safe deallocation.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Typing safe deallocation

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:34:18.146744Z

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 bcbe1565-c4b0-400e-908b-37c33274a1da · outbound

This paper cites Ownership types for safe region-based memory management in real-time java.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Ownership types for safe region-based memory management in real-time java

Reference 6

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:17.152010Z

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 6bd49416-c275-4c83-97dc-431093b86ca5 · outbound

This paper cites Syntactic type soundness results for the region calculus.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Syntactic type soundness results for the region calculus

Reference 7

Resolution: verified exact; raw_fallback, observed 2026-08-07T11:34:16.782477Z

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 563eceb0-0588-44cb-bae1-f68511fbbd9b · outbound

This paper cites Typed memory management in a calculus of capabilities.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Typed memory management in a calculus of capabilities

Reference 8

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:16.486022Z

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 cbc21740-681e-4e46-b1aa-58f07a5c9f5e · outbound

This paper cites an unresolved cited work.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Unresolved cited work

Reference 9

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:16.211794Z

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 b6f6b5df-d023-4907-a6e0-fa13734cfadb · outbound

This paper cites Linear regions are all you need.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Linear regions are all you need

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:09.883418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 896d0e1c-e133-4d36-b0ac-b229c6b1a001 · outbound

This paper cites Refinement types for ml.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Refinement types for ml

Reference 11

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:15.896313Z

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 491f1d7a-2fb8-4db1-ac50-aa9c448fe2be · outbound

This paper cites Memory management with explicit regions.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Memory management with explicit regions

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:15.594312Z

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 015332e7-ec31-4386-94eb-b5a117af6667 · outbound

This paper cites Language support for regions.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Language support for regions

Reference 13

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:15.326804Z

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 a9efc11d-c0c3-4dec-9c54-4d3daa59ff99 · outbound

This paper cites Gifford and John M.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Gifford and John M

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:10.294115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0ab003e-2fe9-4865-a4a5-ae1b990ef500 · outbound

This paper cites an unresolved cited work.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:10.375191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c66350de-0e86-4bda-b7c9-f9498c4f7375 · outbound

This paper cites Combining region inference and garbage collection.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Combining region inference and garbage collection

Reference 16

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:14.976633Z

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 15112383-7fa6-4fdf-abd1-2a6e227448a0 · outbound

This paper cites Syntactic type soundness for the region calculus.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Syntactic type soundness for the region calculus

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T11:34:12.706554Z

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 c8cf82bb-06cb-4a8c-bcc8-14b64d8140cc · outbound

This paper cites Refinement types: A tutorial.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Refinement types: A tutorial

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:10.712419Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08b83300-ab4f-4fc6-b859-c6aa3ec71c2c · outbound

This paper cites Rustbelt: securing the foundations of the rust programming language.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Rustbelt: securing the foundations of the rust programming language

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:10.851139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9b91807-d37d-4c15-98d7-0e855c371e04 · outbound

This paper cites an unresolved cited work.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:10.958484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbeac5ea-9dc3-4846-86fc-8ebfff5c7059 · outbound

This paper cites A region-based memory manager for prolog.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations A region-based memory manager for prolog

Reference 21

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:14.584830Z

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 36f1e4d3-0a86-49b9-b03d-14542a2749f8 · outbound

This paper cites An effective theory of type refinements.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations An effective theory of type refinements

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:14.230444Z

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 d887593e-e080-44fc-9aa1-c2ee416c76fb · outbound

This paper cites Effect systems revisited--control-flow algebra and semantics.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Effect systems revisited--control-flow algebra and semantics

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:11.378076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 678d6422-789e-4661-a11c-0246cfb5451c · outbound

This paper cites Effects as sessions, sessions as effects.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Effects as sessions, sessions as effects

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:11.504081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e77cd97-c0d6-4182-b1e9-019fa74161c5 · outbound

This paper cites A region inference algorithm.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations A region inference algorithm

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:13.878897Z

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 697c022f-6b2c-4b24-acba-b3511bf06114 · outbound

This paper cites A retrospective on region-based memory management.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations A retrospective on region-based memory management

Reference 26

Resolution: verified exact; raw_fallback, observed 2026-08-07T11:34:13.556573Z

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 d5fe9772-266b-49cc-81b3-38742fc419af · outbound

This paper cites Programming with regions in the ml kit (for version 4).

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Programming with regions in the ml kit (for version 4)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T11:34:17.967930Z

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 3a56e90c-342f-47fa-b67d-a0dddaa4944b · outbound

This paper cites Implementation of the typed call-by-value -calculus using a stack of regions.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Implementation of the typed call-by-value -calculus using a stack of regions

Reference 28

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T11:34:13.238118Z

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 b5f1a841-7d26-4ac4-8a4c-7fef86b3f580 · outbound

This paper cites Region-based memory management.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Region-based memory management

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:12.146065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fce35e4a-75a1-4768-91b6-64b4ce925053 · outbound

This paper cites an unresolved cited work.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:12.302795Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aabfbb99-26e1-4d46-b1ec-f5ae187d08a8 · outbound

This paper cites Oxide: The Essence of Rust.

Spegion: Implicit and Non-Lexical Regions with Sized Allocations Oxide: The Essence of Rust

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T11:34:12.458359Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.