Ur/Web: a programming framework that understands the Web

There are many opportunities to do projects related to a new programming language:
http://www.impredicative.com/ur/
This is Ur/Web, a functional programming language for building modern Web applications, with a variety of novel features, including advanced type checking and static analysis to rule out common security vulnerabilities and express complex interfaces within component-based applications.

Possible projects include those centered on applications, like building a particular production-quality Web site to showcase the advantages of Ur/Web; and those centered on tools, like improving the bug-finding and/or optimization effectiveness of the Ur/Web compiler.

The project involves functional programming along the lines of Haskell, so that sort of experience or equivalent background would be very helpful.

Interested candidates may contact Adam Chilipala, adamc@csail.mit.edu.