David Richter

Orcid: 0000-0002-8672-0265

Affiliations:

TU Darmstadt, Germany

According to our database¹, David Richter authored at least 9 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Compiling with Arrays.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., September, 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation.

[BibT_eX]

[DOI]

Timon Böhler

David Richter

Mira Mezini

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

A Direct-Style Effect Notation for Sequential and Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Multiparty Languages: The Choreographic and Multitier Cases (Pearl).

[BibT_eX]

[DOI]

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

David Richter

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...