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

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

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

FreezeML: complete and easy type inference for first-class polymorphism - Frank Emrich; Sam Lindley; Jan Stolarek; James Cheney; Jonathan Coates (Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, 2020)

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

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution) - Jera Hensel; Frank Emrich; Florian Frohn; Thomas Ströder; Jürgen Giesl (Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, 2017)