![Programming Languages And Systems: 33rd European Symposium On Programming, Part Ii](https://sanet.pics/storage-10/0424/iMHFPZU6d1LUrxNdOAhi9UkF3f1C7QVm.jpg)
Stephanie Weirich | 2024 | ISBN: 3031572661 | English | 468 pages | True ePUB, PDF | 50 MB
Series: Lecture Notes in Computer Science, 14577
The two-volume 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.
https://fikper.com/OvICoP2JFF/Programming_Languages_and_Systems.rar.html
https://rapidgator.net/file/8eee4a532de1ba0f3a268d5d40b4fe4a/Programming_Languages_and_Systems.rar.html
https://rapidgator.net/file/8eee4a532de1ba0f3a268d5d40b4fe4a/Programming_Languages_and_Systems.rar.html
![High Speed Download](/images/download.gif)