HTML.WUI
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