Creation of type-safe, RESTful web applications
