The following pages link to TypeScript (Q33503):
Displaying 5 items.
- Static type checking without downcast operator (Q2169429) (← links)
- Practical Optional Types for Clojure (Q2802470) (← links)
- Predicting program properties from ``big code'' (Q2819795) (← links)
- Safe \& efficient gradual typing for TypeScript (Q2819802) (← links)
- Automatically generating the dynamic semantics of gradually typed languages (Q5370913) (← links)