Examples:

polymorphism
convert to object
new vs no new
inheritance
recursion
first-class functions
exceptions
check-crypto-aes
JavaScript type inference

The type inference algorithm is based on the CFA2 control-flow analysis. Currently, it handles core JavaScript only (DOM support will be added soon). For comments and suggestions, email: dimvar at ccs dot neu dot edu.

Line Name Type