Ur/Web: a simple model for programming the web. The World Wide Web has evolved gradually from a document delivery platform to an architecture for distributed programming. This largely unplanned evolution is apparent in the set of interconnected languages and protocols that any Web application must manage. This paper presents Ur/Web, a domain-specific, statically typed functional programming language with a much simpler model for programming modern Web applications. Ur/Web’s model is unified, where programs in a single programming language are compiled to other ”Web standards” languages as needed; supports novel kinds of encapsulation of Web-specific state; and exposes simple concurrency, where programmers can reason about distributed, multithreaded applications via a mix of transactions and cooperative preemption. We give a tutorial introduction to the main features of Ur/Web and discuss the language implementation and the production Web applications that use it.
Keywords for this software
References in zbMATH (referenced in 8 articles )
Showing results 1 to 8 of 8.
- Popescu, Andrei; Lammich, Peter; Hou, Ping: CoCon: a conference management system with formally verified document confidentiality (2021)
- Choi, Kwanghoon; Chang, Byeong-Mo: A theory of RPC calculi for client-server model (2019)
- Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco: CoSMed: a confidentiality-verified social media platform (2018)
- Bugliesi, Michele; Calzavara, Stefano; Focardi, Riccardo: Formal methods for web security (2017)
- Costa Seco, João; Ferreira, Paulo; Lourenço, Hugo: Capability-based localization of distributed and heterogeneous queries (2017)
- Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco: CoSMed: a confidentiality-verified social media platform (2016)
- Radanne, Gabriel; Vouillon, Jérôme; Balat, Vincent: \textscEliom: a core ML language for tierless web programming (2016)
- Chlipala, Adam: Ur/Web: a simple model for programming the web (2015) ioport