Ur/Web: A Simple Model for Programming the Web
hop : a language for programming the web 2 . 0 .