DIKU IT-C RUC

COPLAS

Copenhagen Programming Language Seminar


Ur/Web, a Domain-Specific Functional Programming Language for Modern Web Applications

Adam Chlipala, Harvard University - USA

Friday 27 August
IT University, 10:00 - 11:00 room 4A09

Abstract:
Ur/Web is a new domain-specific language for programming Web applications, based on a new general-purpose language called Ur. Ur features new abstraction and modularity features that make serious code reuse and metaprogramming possible within a strong static type system. The main innovations are components with strong encapsulation of state like database tables, cookies, and subtrees of the DOM; and compile-time type-directed programming, with strong static guarantees of good behavior. In this talk, I'll introduce the key language features and give some live demos of Web applications.

I would like to speak to Adam, please pencil you in here: http://www.itu.dk/research/pls/wiki/index.php/Chlipala2010.

Scientific host: Carsten Schuermann Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org