Tobias Hombücher

According to our database, Tobias Hombücher authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.

Sven Keidel, Sebastian Erdweg, Tobias Hombücher

Proc. ACM Program. Lang., August, 2023