Programming Languages and Systems
Editat de Stephanie Weirichen Limba Engleză Paperback – 5 apr 2024
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (2) | 296.69 lei 6-8 săpt. | |
| Springer – 5 apr 2024 | 296.69 lei 6-8 săpt. | |
| Springer – 5 apr 2024 | 302.39 lei 6-8 săpt. |
Preț: 296.69 lei
Preț vechi: 370.86 lei
-20% Nou
Puncte Express: 445
Preț estimativ în valută:
52.50€ • 61.65$ • 46.08£
52.50€ • 61.65$ • 46.08£
Carte tipărită la comandă
Livrare economică 27 ianuarie-10 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031572616
ISBN-10: 3031572610
Pagini: 356
Ilustrații: XVI, 340 p. 167 illus., 64 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2024
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031572610
Pagini: 356
Ilustrații: XVI, 340 p. 167 illus., 64 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:2024
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
Effects and Modal Types.- Scoped Effects as Parameterized Algebraic Theories.- Intersection Types, Relationally.- Modal Type Theory: Where Meta-programming Meets Intentional Analysis.- Program Synthesis from Graded Types.- Bidirectional Typing and Session Types.- A Formal Treatment of Bidirectional Typing.- Generic bidirectional typing for dependent type theories.- Artifact report: Generic bidirectional typing for dependent type theories.- Deciding Subtyping for Asynchronous Multiparty Sessions.- The Session Abstract Machine.- Dependent Types.- Trocq: Proof Transfer for Free, With or Without Univalence.- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence.- Observational Equality Meets CIC.- Definitional Functoriality for Dependent (Sub)Types.- Artifact report: Definitional Functoriality for Dependent (Sub)Types.
Textul de pe ultima copertă
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024.
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows:
Part I: Effects and modal types; bidirectional typing and session types; dependent types;
Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
Caracteristici
This book is open access, which means that you have free and unlimited access