Safe & Efficient Gradual Typing for TypeScript
Verifying higher-order programs with the dijkstra monad