Skip to content

Latest commit

 

History

History
75 lines (45 loc) · 4.46 KB

research.md

File metadata and controls

75 lines (45 loc) · 4.46 KB

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

  • M Salib, “Starkiller: A static type inferencer and compiler for Python” (2004)

  • 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."

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

  • Simon Holm Jensen, Anders Møller, Peter Thiemann. “Interprocedural Analysis with Lazy Propagation”. SAS 2010.

  • Dimitrios Vardoulakis and Olin Shivers. CFA2: a Context-Free Approach to Control-Flow Analysis. ESOP 2010

  • Ole Agesen, "The Cartesian Product Algorithm : Simple and Precise Type Inference of Parametric Polymorphism" ECOOP’95

  • Steve Hano, "Type Inference Using the Cartesian Product Algorithm on a Dynamically Typed Language"

  • "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.