Image de couverture de livre

A Two-Level Linear Dependent Type Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fu, Qiancheng, Xi, Hongwei
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Dependent Session Types for Verified Concurrent Programming
par: Fu, Qiancheng, et autres
Publié: (2025)

Dependent Multiplicities in Dependent Linear Type Theory
par: Doré, Maximilian
Publié: (2025)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)

Syntax and Semantics of Linear Dependent Types
par: Vákár, Matthijs
Publié: (2014)

A Graded Modal Dependent Type Theory with Erasure, Formalized
par: Abel, Andreas, et autres
Publié: (2026)

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

Dependent-Type-Preserving Memory Allocation
par: Koronkevich, Paulette, et autres
Publié: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
par: Hu, Jason Z. S., et autres
Publié: (2024)

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

Dependent Type Refinements for Futures
par: Somayyajula, Siva, et autres
Publié: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
par: Hummelgren, Lars, et autres
Publié: (2022)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
par: Schimpf, Albert, et autres
Publié: (2026)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
par: Xu, Han, et autres
Publié: (2026)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
par: Liesnikov, Bohdan, et autres
Publié: (2025)

Learning Structure-Aware Representations of Dependent Types
par: Kogkalidis, Konstantinos, et autres
Publié: (2024)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
par: Zhang, Cheng, et autres
Publié: (2026)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
par: Binder, David, et autres
Publié: (2024)

Type Theory With Erasure
par: Theocharis, Constantine, et autres
Publié: (2026)

Bounded First-Class Universe Levels in Dependent Type Theory
par: Chan, Jonathan, et autres
Publié: (2025)

Linear Contextual Metaprogramming and Session Types
par: Ângelo, Pedro, et autres
Publié: (2024)

Layered Modal Type Theories
par: Hu, Jason Z. S., et autres
Publié: (2023)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

SMT-Boosted Security Types for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

Decision Procedure for A Theory of String Sequences
par: Hu, Denghang, et autres
Publié: (2025)

WebPie: A Tiny Slice of Dependent Typing
par: Scholliers, Christophe
Publié: (2024)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
par: Matsuoka, Satoshi
Publié: (2026)

A Two-Phase Infinite/Finite Low-Level Memory Model
par: Beck, Calvin, et autres
Publié: (2024)

Stratified Type Theory
par: Chan, Jonathan, et autres
Publié: (2023)

GeckoGraph: A Visual Language for Polymorphic Types
par: Fu, Shuai, et autres
Publié: (2024)

Wavefront Threading Enables Effective High-Level Synthesis
par: Pelton, Blake, et autres
Publié: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
par: Sano, Jin, et autres
Publié: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

If-T: A Benchmark for Type Narrowing
par: Guo, Hanwen, et autres
Publié: (2025)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Linear Constraints
par: Spiwack, Arnaud, et autres
Publié: (2026)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

A Complementary Approach to Incorrectness Typing
par: Li, Celia Mengyue, et autres
Publié: (2025)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)