Refinement Types for TypeScript

Preprint English OPEN
Vekris, Panagiotis; Cosman, Benjamin; Jhala, Ranjit;
  • Subject: Computer Science - Programming Languages

We present Refined TypeScript (RSC), a lightweight refinement type system for TypeScript, that enables static verification of higher-order, imperative programs. We develop a formal core of RSC that delineates the interaction between refinement types and mutability. Next... View more
  • References (39)
    39 references, page 1 of 4

    [1] C. Anderson, P. Giannini, and S. Drossopoulou. Towards Type Inference for Javascript. In Proceedings of the 19th European Conference on Object-Oriented Programming, 2005.

    [2] G. M. Bierman, A. D. Gordon, C. Hri¸tcu, and D. Langworthy. Semantic Subtyping with an SMT Solver. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, 2010.

    [3] G. M. Bierman, M. Abadi, and M. Torgersen. Understanding typescript. In ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pages 257-281, 2014.

    [4] M. Bostock.

    [5] R. Chugh, D. Herman, and R. Jhala. Dependent types for javascript. In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pages 587-606, New York, NY, USA, 2012. ACM.

    [17] C. Haack and E. Poll. Type-Based Object Immutability with Flexible Initialization. In ECOOP, Berlin, Heidelberg, 2009.

    [18] A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, May 2001. ISSN 0164- 0925.

    [19] K. Knowles and C. Flanagan. Hybrid Type Checking. ACM Trans. Program. Lang. Syst., 32(2), Feb. 2010.

    [20] K. Knowles and C. Flanagan. Compositional reasoning and decidable checking for dependent contract types. In Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, PLPV '09, pages 27-38, New York, NY, USA, 2008. ACM. ISBN 978-1-60558-330-3.

    [21] B. S. Lerner, J. G. Politz, A. Guha, and S. Krishnamurthi. TeJaS: Retrofitting Type Systems for JavaScript. In Proceedings of the 9th Symposium on Dynamic Languages, 2013.

  • Related Organizations (3)
  • Metrics
Share - Bookmark