Understanding TypeScript
- 1 January 2014
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Gradual typing embedded securely in JavaScriptPublished by Association for Computing Machinery (ACM) ,2014
- Dependent types for JavaScriptPublished by Association for Computing Machinery (ACM) ,2012
- Towards a program logic for JavaScriptPublished by Association for Computing Machinery (ACM) ,2012
- Typing Local Control and State Using Flow AnalysisLecture Notes in Computer Science, 2011
- Gradual Typing for ObjectsLecture Notes in Computer Science, 2007
- Towards Type Inference for JavaScriptLecture Notes in Computer Science, 2005
- Featherweight JavaACM Transactions on Programming Languages and Systems, 2001
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- The equivalence problem for deterministic pushdown automata is decidableLecture Notes in Computer Science, 1997
- A Theory of ObjectsPublished by Springer Science and Business Media LLC ,1996