Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Timon Böhler
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
SPLASH/ISSTA 2026 profile
Registered user since Mon 3 Jul 2023
Name:
Timon Böhler
Country:
Germany
Affiliation:
Technical University of Darmstadt
Contributions
2026
SPLASH
Author of DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types within the OOPSLA-track
2024
FTfJP
Author of Incrementalizing Polynomial Functors within the FTfJP 2024-track
ECOOP
Author of Compiling with Arrays within the Technical Papers-track
2023
ECOOP
Author of A Direct-Style Effect Notation for Sequential and Parallel Programs within the Research Papers-track
FTfJP
Author of Using Rewrite Strategies for Efficient Functional Automatic Differentiation within the FTfJP 2023-track
Share
x
Thu 16 Apr 13:00