Towards a Type System for Analyzing JavaScript Programs

This publication has 10 references indexed in Scilit:

• A soft-typing system for Erlang
  Published by Association for Computing Machinery (ACM) ,2003
• Type-based analysis of uncaught exceptions
  Published by Association for Computing Machinery (ACM) ,1999
• An abstract interpretation for estimating uncaught exceptions in Standard ML programs
  Science of Computer Programming, 1998
• Static typing for dynamic messages
  Published by Association for Computing Machinery (ACM) ,1998
• A practical subtyping system for Erlang
  Published by Association for Computing Machinery (ACM) ,1997
• A practical soft type system for scheme
  ACM Transactions on Programming Languages and Systems, 1997
• A Theory of Objects
  Published by Springer Nature ,1996
• Dynamic typing: syntax and proof theory
  Science of Computer Programming, 1994
• SELF: The power of simplicity
  Higher-Order and Symbolic Computation, 1991
• Soft typing
  Published by Association for Computing Machinery (ACM) ,1991