1. 9
    Refinement Types for TypeScript ☶ javascript scirate.com
    silky avatar via silky 2 years ago | cached | 1 comment

There' s also this GitHub repo: https://github.com/UCSD-PL/refscript

  1.  

  2. 2
    BruceM avatar BruceM 2 years ago | link

    They presented this at PLDI 2016 as well.

    And there was a paper about it from one of the authors of this paper at ECOOP 2015: https://ranjitjhala.github.io/static/trust_but_verify.pdf