Copenhagen Programming Language
Ur/Web, a Domain-Specific Functional Programming Language for Modern Web
Adam Chlipala, Harvard University - USA
Friday 27 August
IT University, 10:00 - 11:00 room 4A09
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:
Carsten Schuermann Administrative host:Renée Korver Michan.
All are welcome.
The Copenhagen Programming
Language Seminar (COPLAS) is a collaboration between DIKU,
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to
firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see