1. L Augustsson, “Implementing Haskell overloading,” Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993, 65–73.
2. M Gardner, “Wheels, Life and Other Mathematical Amusements,” W.H. Freeman and Company, New York, 1993.
3. CV Hall, “Using Hindley-Milner type inference to optimise list representation,” ACM Conference on Lisp and Functional Programming, Orlando, Florida, June 1994.
4. R Harper & G Morrisett, “Compiling Polymorphism Using Intensional Type Analysis,” Technical Report CMU-CS-94–185, School of Computer Science, Carnegie Mellon University, Sept 1994.
5. PH Hartel et al., “Pseudoknot: a float-intensive benchmark for functional compilers,” in Proc Sixth International Workshop on the Implementation of Functional Languages, Norwich, JRW Glauert, ed., University of East Anglia, Norwich, Sept 1994.