Follow
Frank Emrich
Title
Cited by
Cited by
Year
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs
J Hensel, F Emrich, F Frohn, T Ströder, J Giesl
International Conference on Tools and Algorithms for the Construction and …, 2017
102017
FreezeML: complete and easy type inference for first-class polymorphism
F Emrich, S Lindley, J Stolarek, J Cheney, J Coates
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
72020
Constraint-based type inference for FreezeML
F Emrich, J Stolarek, J Cheney, S Lindley
Proceedings of the ACM on Programming Languages 6 (ICFP), 570-595, 2022
2022
Complete and Easy Type Inference for First-Class Polymorphism
F Emrich, S Lindley, J Stolarek, J Cheney, J Coates
2020
Modular Termination Analysis of C Programs
F Emrich, J Hensel, J Giesl
17th International Workshop on Termination, 27, 0
The Virtues of Semi-Explicit Polymorphism
F Emrich, S Lindley, J Stolarek
Broken Links (Presentation)
F Emrich, D Hillerström
AProVE at the Termination Competition 2018
M Brockschmidt, S Dollase, F Emrich, F Frohn, C Fuhs, J Giesl, M Hark, ...
16th International Workshop on Termination, 78, 0
The system can't perform the operation now. Try again later.
Articles 1–8