Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

ISBN 10: 9819789427 / ISBN 13: 9789819789429

Edité par Springer, 2024

A propos de cet article

N° de réf. du vendeur 26403485899

Détails bibliographiques

• Titre: Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
• Éditeur: Springer
• Date de parution: 2024
• Langue: anglais
• ISBN à 10 chiffres: 9819789427
• ISBN à 13 chiffres: 9789819789429
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

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.

The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.