
Title:
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Author:
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186
ISBN:
9789819789436
Edition:
1st ed. 2025.
Physical Description:
X, 389 p. 221 illus., 150 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 15194
Abstract:
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.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-981-97-8943-6Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 605775-1001 | ONLINE | Searching... | Searching... |
