Copertina

A Two-Level Linear Dependent Type Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fu, Qiancheng, Xi, Hongwei
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Dependent Session Types for Verified Concurrent Programming
di: Fu, Qiancheng, et al.
Pubblicazione: (2025)

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

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

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

A Graded Modal Dependent Type Theory with Erasure, Formalized
di: Abel, Andreas, et al.
Pubblicazione: (2026)

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

Dependent-Type-Preserving Memory Allocation
di: Koronkevich, Paulette, et al.
Pubblicazione: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
di: Hu, Jason Z. S., et al.
Pubblicazione: (2024)

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

Dependent Type Refinements for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
di: Hummelgren, Lars, et al.
Pubblicazione: (2022)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
di: Schimpf, Albert, et al.
Pubblicazione: (2026)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
di: Xu, Han, et al.
Pubblicazione: (2026)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
di: Liesnikov, Bohdan, et al.
Pubblicazione: (2025)

Learning Structure-Aware Representations of Dependent Types
di: Kogkalidis, Konstantinos, et al.
Pubblicazione: (2024)

Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
di: Zhang, Cheng, et al.
Pubblicazione: (2026)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
di: Binder, David, et al.
Pubblicazione: (2024)

Type Theory With Erasure
di: Theocharis, Constantine, et al.
Pubblicazione: (2026)

Bounded First-Class Universe Levels in Dependent Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2025)

Linear Contextual Metaprogramming and Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2024)

Layered Modal Type Theories
di: Hu, Jason Z. S., et al.
Pubblicazione: (2023)

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

SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
di: Giovannini, Eric, et al.
Pubblicazione: (2024)

Decision Procedure for A Theory of String Sequences
di: Hu, Denghang, et al.
Pubblicazione: (2025)

TypeDis: A Type System for Disentanglement
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

WebPie: A Tiny Slice of Dependent Typing
di: Scholliers, Christophe
Pubblicazione: (2024)

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

A Two-Phase Infinite/Finite Low-Level Memory Model
di: Beck, Calvin, et al.
Pubblicazione: (2024)

Stratified Type Theory
di: Chan, Jonathan, et al.
Pubblicazione: (2023)

GeckoGraph: A Visual Language for Polymorphic Types
di: Fu, Shuai, et al.
Pubblicazione: (2024)

Wavefront Threading Enables Effective High-Level Synthesis
di: Pelton, Blake, et al.
Pubblicazione: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
di: Sano, Jin, et al.
Pubblicazione: (2025)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
di: Lybech, Stian, et al.
Pubblicazione: (2025)

If-T: A Benchmark for Type Narrowing
di: Guo, Hanwen, et al.
Pubblicazione: (2025)

Linear Constraints
di: Spiwack, Arnaud, et al.
Pubblicazione: (2026)

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

Local Type Inference for Context-Free Session Types
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)

A Complementary Approach to Incorrectness Typing
di: Li, Celia Mengyue, et al.
Pubblicazione: (2025)

Stream Types
di: Cutler, Joseph W., et al.
Pubblicazione: (2023)