Frex: Free Extensions for Normalization-by-Evaluation

POPL 2020