Programming Languages and Systems

Programming Languages and Systems

E-book

US$69.43 excl. VAT

You and your friend both get points.

Download immediately after payment, unlimited re-downloads from your account.

By starting the download you agree that your right of withdrawal ends, because the content is delivered at once.

About this title

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.

Details

Publisher
Springer Nature Singapore
Language
EN
Format
PDF
Published
ISBN
9789819789436
File protection
Watermark — opens on any reader, no extra account needed