LiveWeb is a typed core language for web applications that integrates interface, business logic and database manipulation operations. Interactions between layers are represented at a higher level of abstraction providing basic safety of properties and elimination of common programming errors.