Safe & Efficient Gradual Typing for TypeScript
TouchDevelop: app development on mobile devices