A stepper for a functional JavaScript sublanguage. - Martin Henz; Thomas Tan; Zachary Chua; Peter Jung; Yee-Jian Tan; Xinyi Zhang; Jingjing Zhao (SPLASH-E, 2021)