ICFP 1997BigTypes in MLBruce J. McAdamPDFDOI 10.1145/258948.258985dblpBibTeXAbstractNo abstract available.