Peter Thiemann An embedded domain-specific language for type-safe server-side web scripting. 1-46 2005 5 ACM Trans. Internet Techn. 1 http://doi.acm.org/10.1145/1052934.1052935 db/journals/toit/toit5.html#Thiemann05