David Richter -

Registered user since Wed 12 Sep 2018

Name:David Richter

Country:Germany

Affiliation:Technical University of Darmstadt

Research interests:Programming Languages, Type Systems, Functional Programming, Compilers

Contributions

ECOOP 2023	Author of A Direct-Style Effect Notation for Sequential and Parallel Programs within the Research Papers-track
ECOOP 2022	Author of Prisma: A tierless language for enforcing contract-client protocols in decentralized apps within the Research Papers-track
ECOOP 2021	Author of Multiparty Languages: the Choreographic and Multitier Cases within the ECOOP Technical Papers-track
Scala 2020	Publicity Chair in Organizing Committee within the Scala-track Publicity Chair of Welcome to Scala 2020 within the Scala-track Publicity Chair of Closing Scala 2020 within the Scala-track
SPLASH 2019	Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the Posters-track
REBLS 2019	Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the REBLS-track
LIVE 2018	Author of From Debugging Towards Live Tuning of Reactive Applications within the LIVE 2018-track
SPLASH 2018	Author of From Debugging Towards Live Tuning of Reactive Applications within the Posters-track