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