Abstract is missing.
- An Algebraic Theory for Shared-State ConcurrencyYotam Dvir, Ohad Kammar, Ori Lahav. 3-24 [doi]
- Decoupling the Ascending and Descending Phases in Abstract InterpretationVincenzo Arceri, Isabella Mastroeni, Enea Zaffanella. 25-44 [doi]
- Inferring Region Types via an Abstract Notion of Environment TransformationUlrich Schöpp, Chuangjie Xu. 45-64 [doi]
- RHLE: Modular Deductive Verification of Relational ∀ ∃ PropertiesRobert Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware. 67-87 [doi]
- Automated Temporal Verification for Algebraic EffectsYahui Song, Darius Foo, Wei-Ngan Chin. 88-109 [doi]
- Model-Based Fault Classification for Automotive SoftwareMike Becker, Roland Meyer 0001, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff 0001. 110-131 [doi]
- Characterizing Functions Mappable over GADTsPatricia Johann, Pierre Cagne. 135-154 [doi]
- Applicative Intersection TypesXu Xue, Bruno C. D. S. Oliveira, Ningning Xie. 155-174 [doi]
- A Calculus with Recursive Types, Record Concatenation and SubtypingYaoda Zhou, Bruno C. D. S. Oliveira, Andong Fan. 175-195 [doi]
- Novice Type Error Diagnosis with Natural Language ModelsChuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si. 196-214 [doi]