ESOP 1999Higher-Order Code SplicingPeter ThiemannPDFDOI 10.1007/3-540-49099-x_16dblpBibTeXNo abstract available.