Detail

LiveWeb – Core Language for Web Applications

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.