Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

IFL
2004
Springer

favoriteEmaildiscussreport

94views Formal Methods» more IFL 2004»

A Functional Programming Technique for Forms in Graphical User Interfaces

13 years 9 months ago

A Functional Programming Technique for Forms in Graphical User Interfaces

Download www.st.cs.ru.nl

This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and ﬂexible way. A form is a part of a graphical user interface (GUI) restricted to displaying a value and allowing the user to modify it. The library is built on top of the medium-level GUI library wxHaskell. To obtain complete separation between the structure of a form’s layout and that of the edited values, we introduce a novel use of compositional functional references.

Sander Evers, Peter Achten, Jan Kuper

Real-time Traffic

Graphical User Interface | GUI Library WxHaskell | IFL 2004 | Paper Presents Functionalforms |

claim paper

Related Content

» Disjoint forms in graphical user interfaces

» Generic Graphical User Interfaces

» A Functional Logic Programming Approach to Graphical User Interfaces

» A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams

» Compositional ModelViews with Generic Graphical User Interfaces

» Adapting VRML for FreeForm Immersed Manipulation

» Introducing Design Patterns Graphical User Interfaces and Threads Within the Context of a ...

» iML A Logicbased Framework for Constructing Graphical User Interface on Mobile Agents

» RealWorld Graphical User Interfaces

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	IFL
Authors	Sander Evers, Peter Achten, Jan Kuper

Comments (0)