"20150819 release" . . . "Ur, Ur/Web"@en . "Ur also called Ur/Web is an open source functional programming language specific for web development, created by Adam Chlipala at the Massachusetts Institute of Technology that from a single program produces server code, browser client code and SQL code specific for the chosen database backend.Ur supports a powerful kind of metaprogramming based on row types.Ur/Web is Ur plus a special standard library and associated rules for parsing and optimization."@en . . .