1. Dynamic typing in a statically typed language;Abadi;ACM Trans. Prog. Lang. Syst.,1991
2. Barnett, M., 2015. MicrosoftResearch Common Compiler Infrastructure. http://research.microsoft.com/en-us/projects/cci/.
3. Adding dynamic types to C#;Bierman,2010
4. Thorn—robust, concurrent, extensible scripting on the JVM;Bloom,2009
5. Tracing the meta-level: PyPy’s tracing JIT compiler;Bolz,2009