ICFP 1997Affordable Dynamic TypesChris DornanPDFDOI 10.1145/258948.258980dblpBibTeXAbstractNo abstract available.