Programming Languages and Systems

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

AvOleg Kiselyov

E-bok
Engelska, 2024

770 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann - Reasoned Schemer, Häftad

Reasoned Schemer

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann

Häftad, 2018

348 kr

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

Lucinda Riley - En dold skönhet, Pocket
  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(18)

69 kr99 kr