[Bothner88] Efficiently Combining Logical Contraints with Functions. Ph.D. thesis, Department of Computer Science, Stanford University. 1988.
[Budd91Arith] Generalized arithmetic in C++. Journal of Object-Oriented Programming. 3(6). 11-22. February 1996.
[DSSSL] Document Style Semantics and Specification Language. 1996. International Standard ISO/IEC 10179:1996(E).
[ECMAScript] ECMAScript Language Specification. http://www.ecma.ch/stand/ecma-262.htm.
[GccJava] A Gcc-based Java Implementation. IEEE Compcon 1997 Proceedings. 174-178. February 1997. See also http://gcc.gnu.org/java/.
[gmp] The GNU Multiple Precision Arithmetic Library. 1996. (Gmp
and its manual are available
on most GNU archives.).
[Ingalls86] A Simple Technique for Handling Multiple Polymorphism. ACM SIGPLAN Notices. 21(11). 347-349. November 1986.
[Kaffe] Kaffe - a free virtual machine to run Java code. http://www.kaffe.org/.
[Kawa] Kawa, the Java-based Scheme System. http://www.gnu.org/software/kawa/.
[Miller87] MultiScheme: A Parallel Processing System based on MIT Scheme. Ph.D. thesis, Department of Electrical Engineering and Computer Science, MIT. 1987.
[MLtoC] No Assembly Required: Compiling Standard ML to C. ACM Letters on Programming Languages and Systems. 1992. 1(2). 161-177.
[RScheme] http://www.rscheme.org/.