@CONFERENCE\{IMM2001-0393, author = "J. Steensgaard-Madsen", title = "Explicit continuations and type parameterisation", year = "2001", month = "oct", pages = "6", booktitle = "Proceedings of the {NWPT} 01 Nordic Workshop on Programming Theory, {DTU} Lyngby, Denmark, 2001", volume = "", series = "", editor = "", publisher = "Informatics and Matemathical Modelling, Technichal University of Denmark", organization = "", address = "Building 321, {DK-}2800 Kgs. Lyngby", url = "http://www2.compute.dtu.dk/pubdb/pubs/393-full.html" }