Login / Signup
Frank Emrich
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 6
Top Topics
Inference Problems
Memory Space
Term Rewrite Systems
Bayesian Inference
Top Venues
CoRR
Proc. ACM Program. Lang.
PLDI
TACAS (2)
</>
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)