WWW-wide translation of HTML pages. This should be run as CGI script or Server module. HTML pages are fetched, translated, links are updated in order to continue translation when the user follows a hyperlink.
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
The Haskell Web Publisher shall allow website implementation using the functional programming language Haskell. Thereby, accuracy of URIs, data validity, and compliance to security restrictions shall be assured by compiler checks.