UID:
almahu_9949709184202882
Umfang:
XVI, 340 p. 167 illus., 64 illus. in color.
,
online resource.
Ausgabe:
1st ed. 2024.
ISBN:
9783031572623
Serie:
Lecture Notes in Computer Science, 14576
Inhalt:
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: 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.
Anmerkung:
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.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783031572616
Weitere Ausg.:
Printed edition: ISBN 9783031572630
Sprache:
Englisch
DOI:
10.1007/978-3-031-57262-3
URL:
https://doi.org/10.1007/978-3-031-57262-3
