Bibliography

[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]   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.

[3]   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.

[4]   Jean Goubault. Inférence d’unités physiques en ML. In Journées Francophones des Langages Applicatifs, pages 3–20. INRIA, janvier 1994.

[5]   Robert Harper, Robin Milner, and Mads Tofte. The Definition of Standard ML. MIT Press, 1990.

[6]   Xavier Leroy and Michel Mauny. Dynamics in ML. Rapport de Recherche 1491, INRIA, Domaine de Voluceau, Rocquencourt, BP 105, France, juillet 1991.

[7]   T.G. Lewis and W.H. Payne. Generalized feedback shift register pseudorandom number algorithm. Journal of the ACM, 20(3):456–468, July 1973.

[8]   Robin Milner and Mads Tofte. Commentary on Standard ML. MIT Press, 1991.

[9]   Peter L. Montgomery. Modular multiplication without trial division. Mathematical Computing, 44:519–521, 1985.

[10]   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.

[11]   Jonathan A. Rees and William Clinger. The revised3 report of the algorithmic language scheme. ACM SIGPLAN Notices, 21(12):37–79, December 1986.

[12]   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.

[13]   Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. In Proceedings of the 1992 Conference on Logics in Computer Science. IEEE, 1992.