Abstract is missing.
- Logics for Extensional, Locally Complete Analysis via Domain RefinementsFlavio Ascari, Roberto Bruni, Roberta Gori. 1-27 [doi]
- Clustered Relational Thread-Modular Abstract Interpretation with Local TracesMichael Schwarz 0007, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani. 28-58 [doi]
- Adversarial Reachability for Program-level Security AnalysisSoline Ducousso, Sébastien Bardin, Marie-Laure Potet. 59-89 [doi]
- Automated Grading of Regular ExpressionsSu-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko. 90-112 [doi]
- Builtin Types Viewed as Inductive FamiliesGuillaume Allais. 113-139 [doi]
- Pragmatic Gradual Polymorphism with ReferencesWenjia Ye, Bruno C. D. S. Oliveira. 140-167 [doi]
- Modal Crash Types for Intermittent ComputingFarzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia 0001. 168-196 [doi]
- Gradual Tensor Shape CheckingMomoko Hattori, Naoki Kobayashi 0001, Ryosuke Sato 0001. 197-224 [doi]
- A Type System for Effect Handlers and Dynamic LabelsPaulo Emílio de Vilhena, François Pottier. 225-252 [doi]
- Interpreting Knowledge-based ProgramsAlexander Knapp, Heribert Mühlberger, Bernhard Reus. 253-280 [doi]
- Contextual Modal Type Theory with Polymorphic ContextsYuito Murase, Yuichi Nishiwaki, Atsushi Igarashi. 281-308 [doi]
- A Complete Inference System for Skip-free Guarded Kleene Algebra with TestsTodd Schmid, Tobias Kappé, Alexandra Silva 0001. 309-336 [doi]
- Quorum Tree Abstractions of Consensus ProtocolsBerk Çirisci, Constantin Enea, Suha Orhun Mutluergil. 337-362 [doi]
- MAGπ: Types for Failure-Prone CommunicationMatthew Alan Le Brun, Ornela Dardha. 363-391 [doi]
- ømega with Context-free Session TypesDiogo Poças, Diana Costa 0001, Andreia Mordido, Vasco T. Vasconcelos. 392-420 [doi]
- Safe Session-Based Concurrency with Shared Linear StatePedro Rocha, Luís Caires. 421-450 [doi]
- Bunched Fuzz: Sensitivity for Vector Metricsjune wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi. 451-478 [doi]
- Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via SmoothingBasim Khajwal, C.-H. Luke Ong, Dominik Wagner. 479-506 [doi]
- Type-safe Quantum Programming in IdrisLiliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev. 507-534 [doi]
- Automatic Alignment in Higher-Order Probabilistic Programming LanguagesDaniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman. 535-563 [doi]