Checking Equivalence in a Non-strict LanguagePublished in OOPSLA, 2022This paper presents Nebula, the first fully automated expression equivalence checker for non-strict functional languages.Download paper hereShare on Twitter Facebook LinkedIn Previous Next