Timon Böhler

According to our database¹, Timon Böhler authored at least 3 papers in 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

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]

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