Towards Type Inference for JavaScript

This publication has 13 references indexed in Scilit:

• Making type inference practical
  Published by Springer Nature ,2006
• PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
  Published by Springer Nature ,2000
• The Cartesian Product Algorithm
  Published by Springer Nature ,2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• An imperative, first-order calculus with object extension
  Published by Springer Nature ,1998
• A Theory of Objects
  Published by Springer Nature ,1996
• Efficient Inference of Object Types
  Information and Computation, 1995
• Sound polymorphic type inference for objects
  Published by Association for Computing Machinery (ACM) ,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