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 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 Proc. of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'06), ACM Press, pp. 155-166, 2007