Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2309.08673 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)
by: Fu, Qiancheng, et al.
Published: (2025)
Dependent Multiplicities in Dependent Linear Type Theory
by: Doré, Maximilian
Published: (2025)
by: Doré, Maximilian
Published: (2025)
Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)
by: Speight, Sam, et al.
Published: (2026)
Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)
by: Vákár, Matthijs
Published: (2014)
Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)
by: Aberlé, C. B.
Published: (2024)
A Graded Modal Dependent Type Theory with Erasure, Formalized
by: Abel, Andreas, et al.
Published: (2026)
by: Abel, Andreas, et al.
Published: (2026)
DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
by: Hu, Jason Z. S., et al.
Published: (2024)
by: Hu, Jason Z. S., et al.
Published: (2024)
Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)
by: Koronkevich, Paulette, et al.
Published: (2025)
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
by: Aberlé, C. B.
Published: (2026)
by: Aberlé, C. B.
Published: (2026)
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
by: Zhang, Cheng, et al.
Published: (2026)
by: Zhang, Cheng, et al.
Published: (2026)
Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)
by: Chan, Jonathan, et al.
Published: (2025)
Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)
by: Somayyajula, Siva, et al.
Published: (2023)
Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)
by: Kogkalidis, Konstantinos, et al.
Published: (2024)
Type Theory With Erasure
by: Theocharis, Constantine, et al.
Published: (2026)
by: Theocharis, Constantine, et al.
Published: (2026)
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)
by: Hummelgren, Lars, et al.
Published: (2022)
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
by: Schimpf, Albert, et al.
Published: (2026)
by: Schimpf, Albert, et al.
Published: (2026)
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)
by: Xu, Han, et al.
Published: (2026)
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)
by: Liesnikov, Bohdan, et al.
Published: (2025)
Linear Contextual Metaprogramming and Session Types
by: Ângelo, Pedro, et al.
Published: (2024)
by: Ângelo, Pedro, et al.
Published: (2024)
Layered Modal Type Theories
by: Hu, Jason Z. S., et al.
Published: (2023)
by: Hu, Jason Z. S., et al.
Published: (2023)
Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)
by: Binder, David, et al.
Published: (2024)
A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)
by: Riley, Mitchell
Published: (2024)
SMT-Boosted Security Types for Low-Level MPC
by: Skalka, Christian, et al.
Published: (2025)
by: Skalka, Christian, et al.
Published: (2025)
Decision Procedure for A Theory of String Sequences
by: Hu, Denghang, et al.
Published: (2025)
by: Hu, Denghang, et al.
Published: (2025)
WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)
by: Scholliers, Christophe
Published: (2024)
Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)
by: Giovannini, Eric, et al.
Published: (2024)
Stratified Type Theory
by: Chan, Jonathan, et al.
Published: (2023)
by: Chan, Jonathan, et al.
Published: (2023)
On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
by: Matsuoka, Satoshi
Published: (2026)
by: Matsuoka, Satoshi
Published: (2026)
GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)
by: Fu, Shuai, et al.
Published: (2024)
TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)
by: Moine, Alexandre, et al.
Published: (2025)
A Two-Phase Infinite/Finite Low-Level Memory Model
by: Beck, Calvin, et al.
Published: (2024)
by: Beck, Calvin, et al.
Published: (2024)
Weak-Linear Types
by: Gramaglia, Hector
Published: (2024)
by: Gramaglia, Hector
Published: (2024)
Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)
by: Aberlé, C. B., et al.
Published: (2024)
Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
by: Sano, Jin, et al.
Published: (2025)
by: Sano, Jin, et al.
Published: (2025)
Wavefront Threading Enables Effective High-Level Synthesis
by: Pelton, Blake, et al.
Published: (2024)
by: Pelton, Blake, et al.
Published: (2024)
From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)
by: Najmaei, Niyousha, et al.
Published: (2025)
Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)
by: Lybech, Stian, et al.
Published: (2025)
If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)
by: Guo, Hanwen, et al.
Published: (2025)
Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)
by: Almeida, Bernardo, et al.
Published: (2025)
Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)
by: Spiwack, Arnaud, et al.
Published: (2026)