Towards Type Inference for JavaScript
- 1 January 2005
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 428-452
- https://doi.org/10.1007/11531142_19
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Making type inference practicalPublished by Springer Science and Business Media LLC ,2006
- PolyTOIL: A Type-Safe Polymorphic Object-Oriented LanguagePublished by Springer Science and Business Media LLC ,2000
- The Cartesian Product AlgorithmPublished by Springer Science and Business Media LLC ,2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- An imperative, first-order calculus with object extensionPublished by Springer Science and Business Media LLC ,1998
- A Theory of ObjectsPublished by Springer Science and Business Media LLC ,1996
- Efficient Inference of Object TypesInformation and Computation, 1995
- Sound polymorphic type inference for objectsPublished by Association for Computing Machinery (ACM) ,1995
- Type inference of SELF: Analysis of objects with dynamic and multiple inheritanceSoftware: Practice and Experience, 1995
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993