A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
Annette Bieniusa (University of Kaiserslautern-Landau), Markus Degen, (University of Applied Sciences Augsburg), Stefan Wehr (University of Applied, Sciences Offenburg)

TL;DR
This collection celebrates Peter Thiemann's extensive contributions to programming languages across diverse topics like partial evaluation, proof assistants, and programming paradigms, highlighting his influence over three decades.
Contribution
It introduces a collection of articles that showcase the breadth and depth of Peter Thiemann's pioneering work in multiple areas of programming languages.
Findings
Diverse approaches to partial evaluation and reversible programming
Advances in proof assistants and dependent types
Insights into functional and object-oriented programming
Abstract
This Festschrift is dedicated to Peter Thiemann on the occasion of his sixtieth birthday, celebrating his significant contributions to the field of programming languages. Over the span of more than three decades, Peter has worked on a wide array of topics. This collection of five articles reflects the diversity of his work. The articles cover areas such as partial evaluation and reversible programming, proof assistants and dependent types, discrete mathematics and dynamic programming, functional and object-oriented programming.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
