Safe TypeScript: Safe and Efficient Gradual Typing for TypeScriptresearch.microsoft.com99 pointsAlexeyBrin11 years ago