Direct Research

• J. Aycock. Compiling Little Languages in Python. Proceedings of the 7th International Python Conference, 1998, pp. 69-77.

• J. Riehl. PyFront: Conversion of Python to C Extension Modules. Proceedings of the 7th International Python Conference, 1998, pp. 79-90.

• Rigo, Armin. "Representation-based just-in-time specialization and the psyco prototype for python." Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. ACM, 2004.

• "Aggressive type inference"; John Aycock; Department of Computer Science, University of Victoria, Canada; 1999-11-23.

• "Python Type-Inference based LINT (pylint.py)"; David Jeske; 1999-11-21.

• "A Peephole Optimizer for Python" Skip Montanaro. Proceedings of the 7th International Python Conference, 1998
  • http://www.python.org/workshops/1998-11/proceedings/papers/montanaro/montanaro.html
• M Salib, “Starkiller: A static type inferencer and compiler for Python” (2004)
  • http://mike.salib.com/writings/thesis/
  • http://people.csail.mit.edu/jrb/Projects/starkiller.pdf
  • http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.3786&rep=rep1&type=pdf

• R. E. Masse. Evolutionary Prototyping: ``Add Later'' Static Types for Python. Proceedings of the 7th International Python Conference, 1998, pp. 91-101.

• Aycock, John. "Converting Python virtual machine code to C." Proceedings of the 7th International Python Conference. 1998.

• Ancona, Davide, et al. "RPython: a step towards reconciling dynamically and statically typed OO languages." Proceedings of the 2007 symposium on Dynamic languages. ACM, 2007.

• Bolz, Carl Friedrich, et al. "Runtime feedback in a meta-tracing JIT for efficient dynamic languages." Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. ACM, 2011.

• Cannon, Brett. Localized type inference of atomic types in python. Diss. California Polytechnic State University, 2005.

• Montanaro, Skip, and N. Y. Rexford. "A peephole optimizer for python." 7th International Python Conference. 1998.

• Cuni, Antonio, and Dott Davide Ancona. "Towards a More Effective Implementation of Python on Top of Statically Typed Virtual Machines." (2007).

• Vitousek, Michael M., Shashank Bharadwaj, and Jeremy G. Siek. "Towards Gradual Typing in Jython."
  • http://csel.cs.colorado.edu/~mivi2269/stop12/presentation.pdf

Indirect Research

• A. Aiken and B. Murphy. Static type inference in a dynamically typed language. Proceedings of the 18th ACM POPL, 1991, pp. 279-290.

• Gradual Typing for Objects by Jeremy Siek and Walid Taha. ECOOP 2007.

• Reps, T., Horwitz, S., and Sagiv, M., Precise interprocedural dataflow analysis via graph reachability. POPL 1995
  • http://www.cs.wisc.edu/wpis/papers/popl95.pdf
• Simon Holm Jensen, Anders Møller, Peter Thiemann. “Interprocedural Analysis with Lazy Propagation”. SAS 2010.
  • http://dx.doi.org/10.1007/978-3-642-15769-1_20
  • http://www.daimi.au.dk/~amoeller/papers/lazy/paper.pdf
• Dimitrios Vardoulakis and Olin Shivers. CFA2: a Context-Free Approach to Control-Flow Analysis. ESOP 2010
  • http://www.ccs.neu.edu/home/dimvar/papers/cfa2-NU-CCIS-10-01.pdf
  • Slides: http://www.ccs.neu.edu/home/dimvar/papers/cfa2-esop-slides.pdf
• Ole Agesen, "The Cartesian Product Algorithm : Simple and Precise Type Inference of Parametric Polymorphism" ECOOP’95
  • http://labs.oracle.com/self/papers/cpa.ps.gz
• Steve Hano, "Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language"
  • http://stevehanov.ca/cs744_type_inference_project.pdf

• "Gradual typing with unification based inference" Jeremy Siek and Manish Vachharajani. DLS 2008.

• "Type reconstruction for general refinement types" Kenneth Knowles & Cormac Flanagan. ESOP 2007.

• "The ins and outs of of gradual type inference" Aseem Rastogi, Avik Chaudhuri, and Basil Hosmer. POPL 2012.

• R. Cartwright and M. Fagan. Soft Typing. Proceedings of the ACM PLDI '91 Conference, 1991, pp. 278-292.

• R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic. Transactions of the American Mathematical Society 146 (December 1969), pp. 29-60.

• T. C. Miller. Type Checking in an Imperfect World. Proceedings of the Sixth ACM POPL, 1979, pp. 237-243.

• Aycock, John. "The design and implementation of SPARK, a toolkit for implementing domain-specific languages." Journal of Computing and Information Technology 10.1 (2004): 55-66.