Nada Amin, William E. Byrd, and Tiark Rompf. 2019. “Lightweight Functional Logic Meta-Programming.” In Programming Languages and Systems, edited by Anthony Widjaja Lin, Pp. 225–243. Cham: Springer International Publishing.