LiveWeb - Core Language for Web Applications

We present a typed core language for web applications that integrates interface definition, business logic and database manipulation. By expressing the interactions between dierent application layers in the same programming language, we gain the benefits of strongly typed lan- guages without loosing the programming flexibility of interpreted lan- guages which is frequently an argument in favor of unsafe programming languages. We describe a prototype of a programming environment and runtime support system for our language that allows a very dynamic style of web application development.