A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday

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.