- New Arrivals
Fiction- Historical FictionCrime & ThrillersMysteryScience-FictionFantasyPoetryRomanceChildren’s BooksYoung Adult
- Biographies & MemoirsHistoryCurrent AffairsTech & ScienceBusinessSelf-DevelopmentTravelThe ArtsFood & WineReligion & SpiritualitySportsHumor
ListsGift CardsWhat To ReadMy ListsGames- About & Help
- About Tertulia
- Membership & Co-Ownership
- Shipping & Delivery
- Orders & Payments
- Contact Support
- Send App Feedback
- Follow us
- Download the app
The co-op bookstore for avid readers
Programming Languages and Systems: 22nd Asian Symposium, Aplas 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
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.
Book Details
- Publisher: Springer
- Publish Date: Oct 29th, 2024
- Pages: 389
- Language: English
- Edition: 2025 - undefined
- Dimensions: 9.21in - 6.14in - 0.82in - 1.23lb
- EAN: 9789819789429
- Categories: • Programming - Compilers• Computer Science• Artificial Intelligence - General