Programming Languages and Systems Programming Languages and Systems

Programming Languages and Systems

22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings

    • 49,99 $US
    • 49,99 $US

Description de l’éditeur

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.

GENRE
Informatique et Internet
SORTIE
2024
27 octobre
LANGUE
EN
Anglais
LONGUEUR
399
Pages
ÉDITIONS
Springer Nature Singapore
VENDEUR
Springer Nature B.V.
TAILLE
45,5
Mo
The Reasoned Schemer, second edition The Reasoned Schemer, second edition
2018
Functional and Logic Programming Functional and Logic Programming
2016