C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tobias Hombücher
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Fixpoint
Top Venues
Proc. ACM Program. Lang.
</>
Publications
</>
Sven Keidel
,
Sebastian Erdweg
,
Tobias Hombücher
Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters.
Proc. ACM Program. Lang.
7 (ICFP) (2023)