1. R. M. Amadio and L. Cardelli. Subtyping recursive types. SRC Report #62, Digital Equipment Corporation, Aug. 1990.
2. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. M. Atkinson, P. Richard, and P. Trinder. Bulk types for large scale programming. In Schmidt and Stogny [34], pages 228–250.
4. C. Beeri and Y. Kornatzky. Algebraic optimization of object-oriented query languages. In S. Abiteboul and P. C. Kanellakis, editors, Proceedings of the Third International Conference on Database Theory, volume 470 of Lecture Notes in Computer Science, pages 72–88. Springer-Verlag, Dec. 1990.
5. R. Bird and P. Wadler. Introduction to Functional Programming. Prentice Hall, 1988.