An optimizing compiler for a purely functional web-application language
hop : a language for programming the web 2 . 0 .