[1] Martín Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically-typed language. In 16th ACM Symposium on Principles of Programming Languages, pages 213–227. ACM, January 1989.
[2] Bruce F. Duba, Robert Harper, and David Mac Queen. Typing first-class continuations in ML. In 17th ACM Symposium on Principles of Programming Languages. ACM, January 1990.
[3] Jean Goubault. Ensembles dans les langages et méthodes de spécification formelle : le cas de VDM et Z. Technical report, Bull S.A. Corporate Research Center, June 1992.
[4] Jean Goubault. Implementing functional languages with fast equality, sets and maps: an exercise in hash consing. Technical report, Bull S.A. Corporate Research Center, June 1992.
[5] Jean Goubault. Inférence d’unités physiques en ML. In Journées Francophones des Langages Applicatifs, pages 3–20. INRIA, janvier 1994.
[6] Robert Harper, Robin Milner, and Mads Tofte. The Definition of Standard ML. MIT Press, 1990.
[7] Xavier Leroy and Michel Mauny. Dynamics in ML. Rapport de Recherche 1491, INRIA, Domaine de Voluceau, Rocquencourt, BP 105, France, juillet 1991.
[8] T.G. Lewis and W.H. Payne. Generalized feedback shift register pseudorandom number algorithm. Journal of the ACM, 20(3):456–468, July 1973.
[9] Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, 1991.
[10] Peter L. Montgomery. Modular multiplication without trial division. Mathematical Computing, 44:519–521, 1985.
[11] William Pugh and Tim Teitelbaum. Incremental computation via function caching. In 16th ACM Symposium on Principles of Programming Languages, pages 315–328. ACM, January 1989.
[12] Jonathan A. Rees and William Clinger. The revised3 report of the algorithmic language scheme. ACM SIGPLAN Notices, 21(12):37–79, December 1986.
[13] Didier Rémy. Typechecking records and variants in a natural extension of ML. In Proceedings of the 1989 Conference on Principles of Programming Languages, pages 77–88. ACM, 1989.
[14] Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In Proceedings of the 1992 Conference on Logics in Computer Science. IEEE, 1992.