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. Adam will give the lightning-speed pitches for these two kinds of features: 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.
Adam Chlipala is currently a postdoc in computer science at Harvard University. His research interests are in applications of advanced type systems, including mechanized theorem-proving and the design and implementation of functional programming languages. He finished his PhD at Berkeley in 2007, with a thesis on verifying compilers and program analysis tools in the Coq computer proof assistant. At Harvard, he is continuing work on formal verification in Coq, with a focus on low-level code and compilation. He also has a longstanding interest in tool support for web programming, and he is now developing a commercial web site using his Ur/Web language for safe metaprogramming of AJAX applications.
For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at email@example.com
Download the OSCON Sponsor/Exhibitor Prospectus
For media-related inquiries, contact Maureen Jennings at firstname.lastname@example.org
To stay abreast of conference news and to receive email notification when registration opens, please sign up for the OSCON Newsletter (login required)
Have an idea for OSCON to share? email@example.com
View a complete list of OSCON contacts