Refinement types for TypeScript.

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Browse the full PLDI paper archive.