TOPLAS 1991Reply to "Type-Extension Tests Can Be Performed In Constant Time"Niklaus WirthPDFDOI 10.1145/115372.214521dblpBibTeXAbstractNo abstract available.