Danvy, O., & Nielsen, L. R. (2000). A Higher-Order Colon Translation. BRICS Report Series, 7(33). https://doi.org/10.7146/brics.v7i33.20168