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.
| ISBN: | 9789819789429 |
| Publication date: | 28th November 2024 |
| Author: | Oleg Kiselyov |
| Publisher: | Springer an imprint of Springer Nature Singapore |
| Format: | Paperback |
| Pagination: | 389 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Compilers and interpreters Mathematical theory of computation Artificial intelligence Computer programming / software engineering |
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.
Programming Languages and Systems features in the following genres: Compilers and interpreters, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering
Programming Languages and Systems is available in Paperback
Programming Languages and Systems was written by Oleg Kiselyov and published by Springer an imprint of Springer Nature Singapore
Programming Languages and Systems has 389 pages
Yes it is part of Lecture Notes in Computer Science series
£44.99