Not registered as user yet

Name: Oliver Flatt

Affiliation: University of Utah

Contributions

POPL 2021 Author of egg: Fast and Extensible Equality Saturation within the POPL-track