ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Joseph Eremondi

Registered user since Tue 25 Sep 2018

Name:Joseph Eremondi
Bio:

I am Joey Eremondi, a PhD Student at the University of British Columbia.

I do research in Programming Languages and Theory of Computation, particularly with dependent types. My Masters Thesis was on improving error messages for higher order unification. I’ve also co-authored a few papers on reversal-bounded counter automata.

I have an M.Sc in Computing Science from Utrecht University, a B.Sc. Honours in Computer Science, and a B.Sc. 4-year in Mathematics, both from the University of Saskatchewan.

Github: https://github.com/JoeyEremondi/

Country:Canada
Affiliation:University of British Columbia
Personal website:http://eremondi.com
Research interests:Programming Languages, Type Theory, Dependent Types, Rust, Constraint Based Inference

Contributions

ICFP 2022 Propositional Equality for Gradual Dependently Typed Programming
Extinguishing the Fire Triangle of Gradual Dependent Types
Show activities from other conferences

Using general profile