Timon Böhler

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

Collaborative distances:

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

2026

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types.

Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini

CoRR, February, 2026

2024

stg-tud/ainf-compiling-with-arrays.

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

Dataset, November, 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