Type System ============== Towards a type system for analyzing JavaScript programs (ESOP 2005) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ *Paper title:* `Towards a type system for analyzing JavaScript programs `__ *Authors:* Peter Thiemann