Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2023)
Prisma: A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
In: ACM Transactions on Programming Languages and Systems, 45 (3)
doi: 10.1145/3604629
Artikel, Bibliographie

Richter, David ; Böhler, Timon ; Weisenburger, Pascal ; Mezini, Mira (2023)
A Direct-Style Effect Notation for Sequential and Parallel Programs.
37th European Conference on Object-Oriented Programming. Seattle, United States (17.-21.07.2023)
doi: 10.4230/LIPIcs.ECOOP.2023.25
Konferenzveröffentlichung, Bibliographie

Böhler, Timon ; Richter, David ; Mezini, Mira (2023)
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
25th ACM International Workshop on Formal Techniques for Java-like Programs. Seattle, USA (18.07.2023)
doi: 10.1145/3605156.3606456
Konferenzveröffentlichung, Bibliographie

Richter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, Mira (2022)
Prisma: A tierless language for enforcing contract-client protocols in decentralized apps.
35th European Conference on Object-Oriented Programming. Berlin, Germany (06.-07.07.2022)
doi: 10.4230/LIPIcs.ECOOP.2022.35
Konferenzveröffentlichung, Bibliographie

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal
Hrsg.: Møller, Anders ; Sridharan, Manu (2021)
Multiparty Languages: The Choreographic and Multitier Cases (Pearl).
35th European Conference on Object-Oriented Programming. virtual Conference (11.-17.07.2021)
doi: 10.4230/LIPIcs.ECOOP.2021.22
Konferenzveröffentlichung, Bibliographie