Web Caching Robert Grimm New York University. Before We Get Started Illustrating Results Type Theory 101.