<p>This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems APLAS 2024 held in Kyoto Japan during October 22-24 2024.</p><p>The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections:&nbsp;Type theory and Semantic Frameworks;&nbsp;Probabilistic and Declarative Programming;&nbsp;Quantum Computation;&nbsp;Logical Relations;&nbsp;Verification.</p>
Piracy-free
Assured Quality
Secure Transactions
*COD & Shipping Charges may apply on certain items.