Abstract is missing.
- Scoped Effects as Parameterized Algebraic TheoriesSam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang. 3-21 [doi]
- Monadic Intersection Types, RelationallyFrancesco Gavazzo, Riccardo Treglia, Gabriele Vanoni. 22-51 [doi]
- Layered Modal Type Theory - Where Meta-programming Meets Intensional AnalysisJason Z. S. Hu, Brigitte Pientka. 52-82 [doi]
- Program Synthesis from Graded TypesJack Hughes 0002, Dominic Orchard. 83-112 [doi]
- A Formal Treatment of Bidirectional TypingLiang-TIng Chen 0001, Hsiang-Shang Ko. 115-142 [doi]
- Generic bidirectional typing for dependent type theoriesThiago Felicissimo. 143-170 [doi]
- Artifact report: Generic bidirectional typing for dependent type theoriesThiago Felicissimo. 171-175 [doi]
- Deciding Subtyping for Asynchronous Multiparty SessionsElaine Li, Felix Stutz, Thomas Wies. 176-205 [doi]
- The Session Abstract MachineLuís Caires, Bernardo Toninho. 206-235 [doi]
- Trocq: Proof Transfer for Free, With or Without UnivalenceCyril Cohen, Enzo Crance, Assia Mahboubi. 239-268 [doi]
- Artifact Report: Trocq: Proof Transfer for Free, With or Without UnivalenceCyril Cohen, Enzo Crance, Assia Mahboubi. 269-274 [doi]
- Observational Equality Meets CICLoïc Pujet, Nicolas Tabareau. 275-301 [doi]
- Definitional Functoriality for Dependent (Sub)TypesThéo Laurent, Meven Lennon-Bertrand, Kenji Maillard. 302-331 [doi]
- Artifact Description - Definitional Functoriality for Dependent (Sub)TypesThéo Laurent, Meven Lennon-Bertrand, Kenji Maillard. 332-337 [doi]