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
Registered user since Mon 20 Jan 2025
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
Thu 22 May 00:36
