Copertina

Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Haynes, Houston
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Category Theory Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Syntax and Semantics of Linear Dependent Types
di: Vákár, Matthijs
Pubblicazione: (2014)

A Type Theory with a Tiny Object
di: Riley, Mitchell
Pubblicazione: (2024)

From Semantics to Syntax: A Type Theory for Comprehension Categories
di: Najmaei, Niyousha, et al.
Pubblicazione: (2025)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Foundations of Substructural Dependent Type Theory
di: Aberlé, C. B.
Pubblicazione: (2024)

Polynomial Universes in Homotopy Type Theory
di: Aberlé, C. B., et al.
Pubblicazione: (2024)

A Unified Framework for Initial Semantics
di: Lamiaux, Thomas, et al.
Pubblicazione: (2025)

Towards a Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2022)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
di: Lemonnier, Louis
Pubblicazione: (2024)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
di: Aberlé, C. B.
Pubblicazione: (2026)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
di: Ghica, Dan R., et al.
Pubblicazione: (2022)

Stone Duality for Monads
di: Garner, Richard, et al.
Pubblicazione: (2026)

For Generalised Algebraic Theories, Two Sorts Are Enough
di: Avrillon, Samy, et al.
Pubblicazione: (2026)

Scoped Effects as Parameterized Algebraic Theories
di: Matache, Cristina, et al.
Pubblicazione: (2024)

Classical notions of computation and the Hasegawa-Thielecke theorem (extended version)
di: Mangel, Éléonore, et al.
Pubblicazione: (2025)

Parametricity via Cohesion
di: Aberlé, C. B.
Pubblicazione: (2024)

String Diagrams for $λ$-calculi and Functional Computation
di: Ghica, Dan, et al.
Pubblicazione: (2023)

Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
di: Carette, TItouan, et al.
Pubblicazione: (2022)

Non-Cartesian Guarded Recursion with Daggers
di: Lemonnier, Louis
Pubblicazione: (2024)

Concurrent Games over Relational Structures: The Origin of Game Comonads
di: Montacute, Yoàv, et al.
Pubblicazione: (2024)

The Hidden Strength of Costrong Functors
di: Balan, Adriana, et al.
Pubblicazione: (2025)

When is the partial map classifier a Sierpiński cone?
di: Pugh, Leoni, et al.
Pubblicazione: (2025)

Compositional imprecise probability
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

Decidable By Construction: Design-Time Verification for Trustworthy AI
di: Haynes, Houston
Pubblicazione: (2026)

Displayed Type Theory and Semi-Simplicial Types
di: Kolomatskaia, Astra, et al.
Pubblicazione: (2023)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
di: Abramsky, Samson, et al.
Pubblicazione: (2022)

Proto-Quipper with Reversing and Control
di: Fu, Peng, et al.
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)

Groupoidal Realizability for Intensional Type Theory
di: Speight, Sam
Pubblicazione: (2024)

Impredicative Encodings of (Higher) Inductive Types
di: Awodey, Steve, et al.
Pubblicazione: (2018)

Coslice Colimits in Homotopy Type Theory
di: Hart, Perry, et al.
Pubblicazione: (2024)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

A Mathematical Model of Package Management Systems
di: Bazerman, Gershom, et al.
Pubblicazione: (2023)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
di: Forsman, David
Pubblicazione: (2024)

Path Types in Algebraic Type Theory
di: Awodey, Steve, et al.
Pubblicazione: (2026)

Identity-Preserving Lax Extensions and Where to Find Them
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

2-Functoriality of Initial Semantics, and Applications
di: Ahrens, Benedikt, et al.
Pubblicazione: (2025)

Functoriality of Enriched Data Types
di: Mulder, Lukas, et al.
Pubblicazione: (2025)

Semantics of multimodal adjoint type theory
di: Shulman, Michael
Pubblicazione: (2023)