References

[AR92]

William E. Aitken and John H. Reppy. Abstract value constructors: Symbolic constants for standard ml. Technical Report TR 92-1290, Department of Computer Science, Cornell University, June 1992. A shorter version appears in the proceedings of the ``ACM SIGPLAN Workshop on ML and its Applications,'' 1992.

[Ler90]

Xavier Leroy. The ZINC experiment: An economical implementation of the ML language. Technical Report 117, INRIA, February 1990.

[Pet92]

Mikael Pettersson. A term pattern-match compiler inspired by finite automata theory. In Fourth International Conference on Compiler Construction, volume 641 of Lecture Notes in Computer Science, pages 258--270, New York, NY, October 1992. Springer-Verlag.

[PPS96]

Simon Peyton Jones, Will Partain, and André Santos. Let-floating: moving bindings to give faster programs. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, pages 1--12, May 1996.

[RR96]

John H. Reppy and Jon G. Riecke. Simple objects for SML. In Proceedings of the SIGPLAN'96 Conference on Programming Language Design and Implementation, pages 171--180, May 1996.

[SCM99]

Olin Shivers, James W. Clark, and Roland McGrath. Atomic heap transactions and fine-grain interrupts. In Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 48--59, September 1999.

[SM97]

Frederick Smith and Greg Morrisett. Mostly-copying collection: A viable alternative to conservative mark-sweep. Technical Report 97-1644, Department of Computer Science, Cornell University, August 1997.