References

[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 revised³ 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.