POPL 2016 (series) / Student Research Competition /
Polyvariant Pattern Match Analysis with Implication Constraints
I am Joey Eremondi, a Masters student in the Department of Computing Science at the University of Utrecht.
I have a B.Sc. Honours in Computer Science, and a B.Sc. 4-year in Mathematics, both from the University of Saskatchewan.