AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. - Emrich, Frank; Hensel, Jera; Giesl, Jürgen (CoRR, 2023)

Constraint-based type inference for FreezeML. - Emrich, Frank; Stolarek, Jan; Cheney, James; Lindley, Sam (Proc. ACM Program. Lang., 2022)

Constraint-based type inference for FreezeML. - Emrich, Frank; Stolarek, Jan; Cheney, James; Lindley, Sam (CoRR, 2022)

FreezeML: complete and easy type inference for first-class polymorphism. - Emrich, Frank; Lindley, Sam; Stolarek, Jan; Cheney, James; Coates, Jonathan (2020)

FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. - Emrich, Frank; Lindley, Sam; Stolarek, Jan; Cheney, James; Coates, Jonathan (CoRR, 2020)

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). - Hensel, Jera; Emrich, Frank; Frohn, Florian; Ströder, Thomas; Giesl, Jürgen (2017)