12 citations · 14 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs
Frank Emrich, Jera Hensel, Jürgen Giesl
Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant progr…
cs.PL2022★ 1 cited
Constraint-based type inference for FreezeML
Frank Emrich, Jan Stolarek, James Cheney +1
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It co…
cs.PL2020★ 12 cited
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
Frank Emrich, Sam Lindley, Jan Stolarek +2
ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is l…