[1]
O. Danvy and L. R. Nielsen, “A Higher-Order Colon Translation”, BRICS, vol. 7, no. 33, Jun. 2000.