2 papers
cs.PL2025
Dependent Session Types for Verified Concurrent Programming
Qiancheng Fu, Hongwei Xi, Ankush Das
We present TLLC which extends the Two-Level Linear dependent type theory (TLL) with session-based concurrency. Equipped with Martin-Löf style dependency, the session types of TLLC…
cs.PL2025
A Two-Level Linear Dependent Type Theory
Qiancheng Fu, Hongwei Xi
We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and pr…