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