Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

POPL
2015
ACM

favoriteEmaildiscussreport

9views Programming Languages» more POPL 2015»

Ur/Web: A Simple Model for Programming the Web

8 years 6 months ago

Ur/Web: A Simple Model for Programming the Web

Download adam.chlipala.net

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-speciﬁc, statically typed functional programming language with a much simpler model for programming modern Web applications. Ur/Web’s model is uniﬁed, where programs in a single programming language are compiled to other “Web standards” languages as needed; supports novel kinds of encapsulation of Web-speciﬁc state; and exposes simple concurrency, where programmers can reason about distributed, multithreaded applications via a mix of transactions and cooper

Adam Chlipala

Real-time Traffic

POPL 2015 | Programming Languages |

claim paper

Related Content

» Introducing computer science through animation and virtual worlds

» Lagniappe Multi Programming Made Simple

» Modeling Web Interactions

» A Modular Scheme for Deadlock Prevention in an ObjectOriented Programming Model

» Reduction Semantics and Formal Analysis of Orc Programs

» Viewing WISs as Database Applications

» A Conceptual Modeling Approach to Business Service Mashup Development

» Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Prog...

» An Engine for Computing WellFounded Models

» Liquid Data for WebLogic Integrating Enterprise Data and Services

Post Info
More Details (n/a)

Added	16 Apr 2016
Updated	16 Apr 2016
Type	Journal
Year	2015
Where	POPL
Authors	Adam Chlipala

Comments (0)