Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frank Emrich
conf.researchr.org general profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2022 profile
PLDI 2020 profile
POPL 2025 profile
‹Programming› 2020 profile
Not registered as user
Name:
Frank Emrich
Affiliation:
University of Edinburgh, UK
Contributions
2025
WAW
Author of Continuing Stack Switching in Wasmtime within the WAW-track
2022
ICFP
Author of Constraint-based type inference for FreezeML within the ICFP Papers and Events-track
2020
ML
Author of The Virtues of Semi-Explicit Polymorphism within the ML 2020-track
PLDI
Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the PLDI Research Papers-track
ProWeb
Author of Broken Links within the ProWeb 2020-track
2019
ML
Author of (TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the ML 2019-track
TyDe
Author of FreezeML: Complete and Easy Type Inference for First-Class Polymorphism within the TyDe 2019-track
Share
x
Sun 22 Dec 16:43