


default search action
60th Birthday: Peter Thiemann 2024
- Annette Bieniusa, Markus Degen, Stefan Wehr:

A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024. EPTCS 413, 2024 - Robert Glück, Louis Marott Normann:

Inversion by Partial Evaluation: A Reversible Interpreter Experiment. 1-14 - Philip Wadler:

Explicit Weakening. 15-26 - Jeremy G. Siek:

Gradual Guarantee via Step-Indexed Logical Relations in Agda. 27-42 - Martin Plümicke:

Completing the Functional Approach in Object-Oriented Languages. 43-56 - Olivier Danvy:

Summa Summarum: Moessner's Theorem without Dynamic Programming. 57-92

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














