Towards Type Inference for JavaScript

This publication has 13 references indexed in Scilit:

• Making type inference practical
  2006
• PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
  2000
• The Cartesian Product Algorithm
  2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• An imperative, first-order calculus with object extension
  1998
• A Theory of Objects
  1996
• Efficient Inference of Object Types
  Information and Computation, 1995
• Sound polymorphic type inference for objects
  1995
• Type inference of SELF: Analysis of objects with dynamic and multiple inheritance
  Software: Practice and Experience, 1995
• Subtyping recursive types
  ACM Transactions on Programming Languages and Systems, 1993