Programming Languages and Systems

TRAMA

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.

SOMMARIO

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.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9783031572616
• Collana: Lecture Notes in Computer Science
• Dimensioni: 235 x 155 mm
• Formato: Brossura
• Illustration Notes: XVI, 340 p. 167 illus., 64 illus. in color.
• Pagine Arabe: 340
• Pagine Romane: xvi