Timon Böhler

According to our database, Timon Böhler authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Compiling with Arrays (Artifact).

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Dagstuhl Artifacts Ser., 2024

Incrementalizing Polynomial Functors.

Timon Böhler, David Richter, Mira Mezini

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

Compiling with Arrays.

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

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

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Dagstuhl Artifacts Ser., 2023

Using Rewrite Strategies for Efficient Functional Automatic Differentiation.

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.

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

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