1. Inheritance and coercion;Breazu-Tannen;Proceedings Fourth Annual Symposium on Logic in Computer Science,1989
2. An approach to overloading with polymorphism;Blott,1990
3. Introduction to Functional Programming;Bird,1989
4. A simple applicative language: Mini-ML;Clément;Proceedings ACM Symposium on LISP and Functional Programming,1986
5. Operations on records;Cardelli,1990