
Registered user since Wed 30 Aug 2023
Name:Marian Lingsch-Rosenfeld
Affiliation:LMU Munich
Personal website: https://www.sosy-lab.org/people/lingsch-rosenfeld/
Contributions
POPL 2025-profile
View general profile
View general profile
Registered user since Wed 30 Aug 2023
Contributions