JFP 2003The Educational Pearls columnSimon L. Peyton Jones, Philip WadlerPDFDOI 10.1017/s0956796803004787dblpBibTeXNo abstract available.