Built on the foundations of the existing Haskell and ML code family, Ur/Web extends the Ur language to include a library of rules useful in a web development context. It has the potential to significantly streamline web development, taking the stack of technologies which make up a website and putting them all inside a single application that compiles all the required XML, JavaScript, SQL and CSS.

The key aspects of Ur/Web that make it different to traditional web development are its approach to security, and the way it enables coordination and management of relationships between all the components that make up a webpage.

Ur/Web has at its heart a development principle known as "strong typing," which means that whenever a piece of code or "function" is written, the author also defines what type of data the function accepts as an input and what it will return as a result.