Cited in
(22)- Practical Optional Types for Clojure
- Predicting program properties from ``big code
- POOSL
- JavaScript
- Cecil
- TS#
- Pycket
- Racket
- Forsythe
- gradualizerDynamicSemantics
- Merlin
- Dylan
- Sage
- DLTPy
- Flow
- Hack
- mypy
- JSNice
- Starkiller
- Safe \& efficient gradual typing for TypeScript
- Automatically generating the dynamic semantics of gradually typed languages
- Static type checking without downcast operator
This page was built for software: TypeScript
