@article{1463049,
      note = {Includes author index.},
      author = {Wies, Thomas,},
      url = {http://library.usi.edu/record/1463049},
      title = {Programming languages and systems : 32nd European  Symposium on Programming, ESOP 2023, held as part of the  European Joint Conferences on Theory and Practice of  Software, ETAPS 2023, Paris, France, April 22-27, 2023,  Proceedings /. European Symposium on Programming},
      abstract = {This open access book constitutes the proceedings of the  32nd European Symposium on Programming, ESOP 2023, which  was held during April 22-27, 2023, in Paris, France, as  part of the European Joint Conferences on Theory and  Practice of Software, ETAPS 2023. The 20 regular papers  presented in this volume were carefully reviewed and  selected from 55 submissions. They deal with fundamental  issues in the specification, design, analysis, and  implementation of programming languages and systems.},
      doi = {https://doi.org/10.1007/978-3-031-30044-8},
      recid = {1463049},
      pages = {1 online resource (x, 558 pages) :},
}