Danvy, O.; Nielsen, L. R. A Higher-Order Colon Translation. BRICS 2000, 7.