General Terms

pps.univ-paris-diderot.fr The Ocsigen framework offers a new way to develop sophis-ticated client-server Web applications. It makes it possible to write as a single program both the server and client sides of a Web application, thus simplifying a lot communications and data transfers, and avoiding code duplications. It also proposes a wide set of high level concepts to program tra-ditional Web interactions in a very concise way while mix-ing them seamlessly with client side features. The use of a powerful type system improves a lot the reliability of pro-grams, reducing debugging time, and making the code easier to maintain. Categories and Subject Descriptors D.3.3 [Software]: Programming languages—Language Con