A seamless, client-centric programming model for type safe web applications
hop : a language for programming the web 2 . 0 .