End to end typing for web applications

Type Safety