wui: Type-Oriented Web User Interfaces ====================================== This package contains libraries to support the type-oriented construction of Web User Interfaces (WUIs). The ideas behind the application and implementation of WUIs are described in these papers: M. Hanus: [Type-Oriented Construction of Web User Interfaces](http://doi.acm.org/10.1145/1140335.1140341) Proc. of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), ACM Press, pp. 27-38, 2006 M. Hanus: [Putting Declarative Programming into the Web: Translating Curry to JavaScript](http://doi.acm.org/10.1145/1273920.1273942) Proc. of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), ACM Press, pp. 155-166, 2007 --------------------------------------------------------------------------