1. Cardelli L., “Basic Polymorphic Type-checking”, Polymorphism, January 1985.
2. Clément D. “The Natural Dynamic Semantics of Mini-Standard ML”, to appear in Proceedings CFLP, Pisa, March 1987.
3. Clément D., J. Despeyroux, Th. Despeyroux, G. Kahn, “A simple applicative language: Mini-ML”, Proceedings of the ACM Conference on Lisp and Functional Programming 1986.
4. Cousineau G., P. L. Curien, M. Mauny, “The Categorical Abstract Machine”, in Functional Languages and Computer Architecture, Lecture Notes in Computer Science, Vol. 201, September 1985.
5. Curry H.B., R. Feys, Combinatory Logic, Volume I, North-Holland Publishing Company, 1958.