\begin{thebibliography}{10}

\bibitem{ananian99static}
C.~S. Ananian.
\newblock The static single information form.
\newblock Technical Report MIT-LCS-TR-801, MIT Laboratory for Computer Science
  Technical Report, September 1999.
\newblock Master's thesis.

\bibitem{And+Gia+Dro:ECOOP-2005}
C.~Anderson, P.~Giannini, and S.~Drossopoulou.
\newblock Towards type inference for javascript.
\newblock In {\em 19th European Conference on Object-Oriented Programming
  (ECOOP 2005)}, LNCS 3586, pages 428--453. Springer, 2005.

\bibitem{BrachaCook90}
G.~Bracha and W.~Cook.
\newblock Mixin-based inheritance.
\newblock In {\em ACM Symp. on Object-Oriented Programming: Systems, Languages
  and Applications 1990}, volume 25(10) of {\em SIGPLAN Notices}, pages
  303--311. ACM Press, October 1990.

\bibitem{286957}
G.~Bracha, M.~Odersky, D.~Stoutamire, and P.~Wadler.
\newblock Making the future safe for the past: adding genericity to the java
  programming language.
\newblock In {\em OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on
  Object-oriented programming, systems, languages, and applications}, pages
  183--200, New York, NY, USA, 1998. ACM Press.

\bibitem{D12.1}
A.~Cuni, S.~Pedroni, A.~Chrigstr\"om, H.~Krekel, G.~Wesdorp, and C.~F. Bolz.
\newblock High-level backends and interpreter feature prototypes.
\newblock Technical Report D12.1, PyPy Consortium, 2007.
\newblock http://codespeak.net/pypy/dist/pypy/doc/index-report.html.

\bibitem{DucasseEtAl06}
S.~Ducasse, O.~Nierstrasz, N.~Sch\&\#228;rli, R.~Wuyts, and A.~P. Black.
\newblock Traits: A mechanism for fine-grained reuse.
\newblock {\em ACM Trans. Program. Lang. Syst.}, 28(2):331--388, 2006.

\bibitem{ECMA-334}
{ECMA}.
\newblock {\em {ECMA-334}: {C\#} Language Specification}.
\newblock ECMA (European Association for Standardizing Information and
  Communication Systems), Geneva, Switzerland, second edition, Dec. 2002.

\bibitem{ECMA-335}
{ECMA}.
\newblock {\em {ECMA-335}: {Common Language Infrastructure (CLI)}}.
\newblock ECMA (European Association for Standardizing Information and
  Communication Systems), Geneva, Switzerland, third edition, June 2005.

\bibitem{fp7}
{European Commission}.
\newblock {Work Programme 2007-08, ICT theme of Coordination Specific
  Programme}.
\newblock http://cordis.europa.eu/fp7/ict/.

\bibitem{GoF95}
E.~{Gamma}, R.~{Helm}, R.~{Johnson}, and J.~{Vlissides}.
\newblock {\em {Design patterns. Elements of reusable object-oriented
  software}}.
\newblock Addison-Wesley Professional Computing Series, Reading, Mass.:
  Addison-Wesley, |c1995, 1995.

\bibitem{JLS}
J.~Gosling, B.~Joy, G.~Steele, and G.~Bracha.
\newblock {\em Java Language Specification}.
\newblock Addison-Wesley Professional, third edition, July 2005.

\bibitem{IronPython}
{IronPython Team}.
\newblock Ironpython.
\newblock http://www.codeplex.com/IronPython.

\bibitem{JRuby}
{JRuby Team}.
\newblock Jruby.
\newblock http://jruby.codehaus.org/.

\bibitem{Jython}
{Jython Team}.
\newblock Jython.
\newblock http://www.jython.org/.

\bibitem{KiczalesEtAl97}
G.~Kiczales, J.~Lamping, A.~Mendhekar, C.~Maeda, C.~V. Lopes, J.~Loingtier, and
  J.~Irwin.
\newblock Aspect-oriented programming.
\newblock In M.~Aksit and S.~Matsuoka, editors, {\em ECOOP'97 - European
  Conference on Object-Oriented Programming}, volume 1241 of {\em Lecture Notes
  in Computer Science}, pages 220--242. Springer, 1997.

\bibitem{LLVM:CGO04}
C.~Lattner and V.~Adve.
\newblock {LLVM: A Compilation Framework for Lifelong Program Analysis \&
  Transformation}.
\newblock In {\em {Proceedings of the 2004 International Symposium on Code
  Generation and Optimization (CGO'04)}}, Palo Alto, California, Mar 2004.

\bibitem{JvmSpec}
T.~Lindholm and F.~Yellin.
\newblock {\em The Java(TM) Virtual Machine Specification (2nd Edition)}.
\newblock {Prentice Hall PTR}, April 1999.

\bibitem{MeijerDrayton04}
E.~Meijer and P.~Drayton.
\newblock Static typing where possible, dynamic typing when needed: The end of
  the cold war between programming languages.
\newblock In {\em OOPSLA'04 Workshop on Revival of Dynamic Languages}, 2004.

\bibitem{MertzSimionato03}
D.~Mertz and M.~Simionato.
\newblock Metaclass programming in python.
\newblock http://www.ibm.com/developerworks/linux/library/l-pymeta.html, 2003.

\bibitem{multijava}
{MultiJava Team}.
\newblock Multijava.
\newblock http://multijava.sourceforge.net.

\bibitem{PyPyTrans}
{PyPy Team}.
\newblock Pypy -- {T}ranslation.
\newblock Web page in progress. \\
  {\small\lstinline{http://codespeak.net/pypy/dist/pypy/doc/translation.html}}.

\bibitem{Rhino}
{Rhino Team}.
\newblock Rhino.
\newblock http://www.mozilla.org/rhino/.

\bibitem{D05.1}
A.~Rigo, M.~Hudson, and S.~Pedroni.
\newblock Compiling dynamic language implementations.
\newblock Technical Report D05.1, PyPy Consortium, 2005.
\newblock http://codespeak.net/pypy/dist/pypy/doc/index-report.html.

\bibitem{RigoPedroni06}
A.~Rigo and S.~Pedroni.
\newblock Py{P}y's approach to virtual machine construction.
\newblock In {\em OOPSLA Companion}, pages 944--953, 2006.

\bibitem{JSR292}
{Sun Microsystems}.
\newblock {JSR} 292: Supporting dynamically typed languages on the {Java}
  platform.
\newblock http://jcp.org/en/jsr/detail?id=292.

\bibitem{Mono}
{The Mono Project Team}.
\newblock The mono project.
\newblock http://www.mono-project.com.

\bibitem{VanRossum}
G.~{Van Rossum}.
\newblock {Unifying types and classes in Python 2.2}.
\newblock http://www.python.org/download/releases/2.2.3/descrintro/.

\end{thebibliography}