activity
20242026
most citedSet-Theoretic Types for Erlang: Theory, Implementation, and Evaluation

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.PL2024★ 1 cited

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

Annette Bieniusa, Markus Degen, Stefan Wehr

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…