[1]   The Self programming language.

[2]   Typed assembly language.

[3]   A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.

[4]   A. Appel. Compiling with Continuations. Cambridge University Press, 1992.

[5]   Andrew Appel. Modern Compiler Implementation in ML. Cambridge University Press, 1998.

[6]   Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 2nd edition, 1998.

[7]   Gibblad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a Production Environment. In Proceedings of the OOPSLA ’93 Conference on Object-oriented Programming Systems, Languages and Applications, pages 215-230, 1993.

[8]   Kim Bruce. Foundations of Object-Oriented Languages: Types and Semantics. MIT Press, 2002.

[9]   Jonathan Eifrig, Scott Smith, Valery Trifonov, and Amy Zwarico. Application of OOP type theory: State, decidability, integration. In OOPSLA ’94, pages 16-30, 1994.

[10]   Martin Fowler. UML Distilled. Addison Wesley, 2nd edition, 2000.

[11]   Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, 1994.

[12]   Jason Hickey. Introduction to objective caml, 2001.

[13]   Paul Hudak, John Peterson, and Joseph Fasel. A gentle introduction to Haskell, version 98, June 2000.

[14]   Andrew D. Irvine. Russell’s paradox. Stanford Encyclopedia of Philosophy, June 2001.

[15]   Xavier Leroy. The Objective Caml system release 3.04, documentation and user’s manual, December 2001.

[16]   Ian A. Mason, Scott F. Smith, and Carolyn L. Talcott. From operational semantics to domain theory. Information and Computation, 128(1):26-47, 1996.

[17]   Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. Talx86: A realistic typed assembly language. In 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, pages 25-35, Atlanta, GA, USA, May 1999.

[18]   J J O’Connor and E F Robertson. Gottfried Wilhelm von Leibniz. The MacTutor History of Mathematics Archive, October 1998.

[19]   Randall B. Smith and David Ungar. Self: The power of simplicity. In Conference proceedings on Object-oriented programming systems, languages and applications, pages 227-242. ACM Press, 1987.

[20]   Randall B. Smith and David Ungar. Programming as an experience: The inspiration for Self. Lecture Notes in Computer Science, 952:303-??, 1995.

[21]   Scott Smith. Programming languages course. http://www.cs/

[22]   J. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.

[23]   Paul R. Wilson. Uniprocessor garbage collection techniques. ACM Computing Surveys, 2002.