Checking Equivalence in a Non-strict Language

Published in OOPSLA, 2022

This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.