wui2: 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

Download

Checkout with CPM:

cypm checkout wui2 3.0.0

Package source:

wui2-3.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/wui2.git