Frank Emrich

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Inference Problems

Term Rewrite Systems

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Frank Emrich, Jera Hensel, Jürgen Giesl
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. CoRR (2023)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. CoRR (2022)
Frank Emrich, Jan Stolarek, James Cheney, Sam Lindley
Constraint-based type inference for FreezeML. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: complete and easy type inference for first-class polymorphism. PLDI (2020)
Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). TACAS (2) (2017)